Details

Time bar (total: 1.0s)

sample17.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0136
1206
2226
3226

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.6b

localize9.0ms

Local error

Found 1 expressions with local error:

36.0b
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt sqrt-prod
pow1 add-cube-cbrt *-un-lft-identity sqrt-div
add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ add-log-exp
Counts
1 → 15
Calls
1 calls:
5.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series97.0ms

Counts
1 → 3
Calls
1 calls:
97.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify97.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
090142
1275137
2951137
33615137
45002137

prune53.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 19.4b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify5.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune2.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 19.4b

localize2.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 19.4b

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 19.4b

regimes242.0ms

Accuracy

61.6% (7.4b remaining)

Error of 26.2b against oracle of 18.9b and baseline of 38.1b

bsearch67.0ms

Steps
ItersRangePoint
10
1.293024730927888e+62
7.859475946845184e+79
6.320553119104956e+79
9
-1.7197323818274665e+112
-6.983454415202426e+105
-4.3608302761035286e+110

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0217
1217

end0.0ms

sample425.0ms

Algorithm
intervals
Results
260.0ms8000×body80valid