Details

Time bar (total: 4.3s)

sample28.0ms

Algorithm
intervals
Results
15.0ms256×body80valid

simplify11.0ms

Counts
1 → 1
Iterations
IterNodes
done31
331
224
114
09

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.4b

localize11.0ms

Local error

Found 1 expressions with local error:

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

rewrite2.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))))

series181.0ms

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

simplify2.3s

Counts
18 → 18
Iterations
IterNodes
done5000
81170
7521
6342
5243
4144
385
252
138
026

prune137.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 16.8b

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

prune12.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 16.8b

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

prune6.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 16.8b

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.8b

regimes319.0ms

Accuracy

60% (7.7b remaining)

Error of 26.1b against oracle of 18.3b and baseline of 37.7b

bsearch78.0ms

Steps
ItersRangePoint
8
2.575169232763117e+80
1.3692519598990749e+85
1.250292644869176e+85
8
-4.224424111393485e+82
-3.3789793079040886e+79
-1.0297636520616465e+81

simplify2.0ms

Iterations
IterNodes
done14
014

end0.0ms

sample1.2s

Algorithm
intervals
Results
990.0ms8000×body80valid