Details

Time bar (total: 2.0s)

sample23.0ms

Algorithm
intervals
Results
9.0ms417×body80valid

simplify274.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
0157
1256
2374
3474
4564
5894
61584
72084
82214
93164
106464
1131994
1250034

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 3 (* z z)) (* x y))
0.2b
(* 3 (* z z))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
4×add-sqr-sqrt add-log-exp
3×add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod
1×+-commutative flip3-+ associate-*r* sum-log *-commutative flip-+ unswap-sqr
Counts
2 → 30
Calls
2 calls:
15.0ms
(+ (* 3 (* z z)) (* x y))
15.0ms
(* 3 (* z z))

series55.0ms

Counts
2 → 6
Calls
2 calls:
33.0ms
(+ (* 3 (* z z)) (* x y))
23.0ms
(* 3 (* z z))

simplify76.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0166163
1617147
22424143
35003143

prune61.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (* 3 z) z) (* x y))
0.2b
(* (* 3 z) z)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
4×add-log-exp
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod
1×+-commutative flip3-+ associate-*l* sum-log *-commutative flip-+
Counts
2 → 29
Calls
2 calls:
16.0ms
(+ (* (* 3 z) z) (* x y))
18.0ms
(* (* 3 z) z)

series55.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(+ (* (* 3 z) z) (* x y))
22.0ms
(* (* 3 z) z)

simplify126.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 3 (123.0ms)

IterNodesCost
0175161
1815145
24087142
35001141

prune61.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (* z z) 3) (* x y))
0.2b
(* (* z z) 3)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
4×add-sqr-sqrt add-log-exp
3×add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod
1×+-commutative flip3-+ associate-*l* sum-log *-commutative flip-+ unswap-sqr
Counts
2 → 30
Calls
2 calls:
18.0ms
(+ (* (* z z) 3) (* x y))
17.0ms
(* (* z z) 3)

series54.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(+ (* (* z z) 3) (* x y))
23.0ms
(* (* z z) 3)

simplify121.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
0178164
1768148
23482144
35002144

prune72.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* z (* z 3)) (* x y))
0.2b
(* z (* z 3))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
4×add-log-exp
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod
1×+-commutative flip3-+ associate-*r* sum-log *-commutative flip-+
Counts
2 → 29
Calls
2 calls:
15.0ms
(+ (* z (* z 3)) (* x y))
15.0ms
(* z (* z 3))

series55.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(+ (* z (* z 3)) (* x y))
25.0ms
(* z (* z 3))

simplify89.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 3 (86.0ms)

IterNodesCost
0165160
1654144
22959141
35001140

prune53.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes132.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0124
1124

end0.0ms

sample572.0ms

Algorithm
intervals
Results
262.0ms12069×body80valid