Details

Time bar (total: 4.2s)

sample44.0ms

Algorithm
intervals
Results
14.0ms256×body80valid
5.0ms103×body80nan

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
done7
17
05

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.1b

localize13.0ms

Local error

Found 1 expressions with local error:

20.5b
(sqrt (fma x x y))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt sqrt-prod
pow1 *-un-lft-identity add-cube-cbrt
expm1-log1p-u rem-sqrt-square sqrt-pow1 add-cbrt-cube pow1/2 add-exp-log log1p-expm1-u add-log-exp
Counts
1 → 15
Calls
1 calls:
3.0ms
(sqrt (fma x x y))

series95.0ms

Counts
1 → 3
Calls
1 calls:
94.0ms
(sqrt (fma x x y))

simplify718.0ms

Counts
18 → 18
Iterations
IterNodes
done5000
3901
2208
176
037

prune95.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.1b
(fma (/ 1/2 x) y x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma (/ 1/2 x) y x)

series32.0ms

Counts
1 → 3
Calls
1 calls:
32.0ms
(fma (/ 1/2 x) y x)

simplify2.1s

Counts
13 → 13
Iterations
IterNodes
done5000
4948
3210
259
124
018

prune85.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize12.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune1.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes111.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 20.7b

bsearch54.0ms

Steps
ItersRangePoint
8
7.661693106350402e+148
2.655600798822068e+151
1.7854904614018066e+149
9
-4.4705439518245044e+156
-6.8324523784438e+150
-1.3211775299738663e+154

simplify1.0ms

Iterations
IterNodes
done16
016

end0.0ms

sample737.0ms

Algorithm
intervals
Results
282.0ms8000×body80valid
72.0ms2655×body80nan