d7f3ba91-d155-4a97-80b6-bf3a5ef63dd6 19 3 5 decimal

&[DATE] &[TIME] - &[FILENAME]

x erf 2 π sqrt / t 2^- exp t 0 x int * ≡

1rst derivative ...
is simply the integrand x D 2 π sqrt / x 2^- exp * :

n 2 :

'n' derivative x D x n diff 4 x 2^- exp * 12 x 2^* - (* π sqrt / -

constrain the plot ["] x u 12 - x ≤ (x 2 ≤ (& cases :

x erf x u * x D x D x 1 diff 0.5 x D x 3 diff * 4 1 sys x D x 0 diff

x y XY x y / - :

x 1.5 - 1.5 1.49 - range :

_The solve bloc fails_

erf XY x erf 3 1 sys

a 0.610 : b 0.620 : xn b a + (2 / : 31 line

x f x erf x - eval :

ε 1010 -^:

Dichotomy n 0 : xn f abs ε > xn f a f * 0 ≤ b xn : a xn : if xn b a + (2 / : n n 1 + : 31 line while 31 line

sanity

xn 0.617446879

xn f 21011 -^* -

n 22

Antiderivative,
integral curve. z int z z erf * z 2^- exp π sqrt / + :

0 int 1 π sqrt / ≡

0 int 0.564

x int 0 0 int + 30 red 1 5 mat 2 1 sys

Cumulative integration between limits a 0 : b 1 : 12 mat a b Σ b b erf * b 2^- exp π sqrt / + (a a erf * a 2^- exp π sqrt / + (- : 21 line

a b Σ 0.486064958112255