Details

Time bar (total: 5.8s)

sample33.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify23.0ms

Counts
1 → 1
Iterations
IterNodes
done29
329
224
114
09

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.6b

localize23.0ms

Local error

Found 1 expressions with local error:

35.9b
(sqrt (fma z z (fma y y (* x x))))

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:
2.0ms
(sqrt (fma z z (fma y y (* x x))))

series206.0ms

Counts
1 → 3
Calls
1 calls:
206.0ms
(sqrt (fma z z (fma y y (* x x))))

simplify4.0s

Counts
18 → 18
Iterations
IterNodes
done5000
91203
8517
7333
6259
5196
4139
381
251
138
026

prune107.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 17.9b

localize1.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

prune6.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 17.9b

localize3.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

prune4.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 17.9b

localize1.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

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 17.9b

regimes349.0ms

Accuracy

61.5% (7.5b remaining)

Error of 26.1b against oracle of 18.6b and baseline of 38.2b

bsearch144.0ms

Steps
ItersRangePoint
9
5.935784571620675e+87
5.211552175642405e+92
5.001396056530514e+92
9
-1.2577614989516685e-225
-1.2014704551655045e-232
-1.242347267252565e-225
4
-1.52144536312596e-210
-9.093177894844135e-211
-9.284378369405582e-211
6
-1.539173627847474e+119
-1.0150002838305954e+118
-1.722077932407333e+118

simplify4.0ms

Iterations
IterNodes
done20
020

end0.0ms

sample779.0ms

Algorithm
intervals
Results
537.0ms8000×body80valid