Details

Time bar (total: 5.5s)

sample29.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify20.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: 36.2b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma y y (* x x))
33.7b
(sqrt (fma z z (fma y y (* x x))))

rewrite3.0ms

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

series248.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(fma y y (* x x))
193.0ms
(sqrt (fma z z (fma y y (* x x))))

simplify3.7s

Counts
31 → 31
Iterations
IterNodes
done5000
53735
4848
3274
2114
157
039

prune178.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 16.3b

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

prune9.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 16.3b

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

prune7.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 16.3b

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

4 alts after pruning (0 fresh and 4 done)

Merged error: 16.3b

regimes365.0ms

Accuracy

62.1% (7.5b remaining)

Error of 25.9b against oracle of 18.4b and baseline of 38.1b

bsearch68.0ms

Steps
ItersRangePoint
7
1.1699726614989072e+126
1.5995148681347137e+128
8.320790080049102e+126
9
-4.064102892713862e+80
-1.8599689544989674e+74
-3.917725958087788e+80

simplify2.0ms

Iterations
IterNodes
done14
014

end0.0ms

sample794.0ms

Algorithm
intervals
Results
554.0ms8000×body80valid