Details

Time bar (total: 7.2s)

sample32.0ms

Algorithm
intervals
Results
19.0ms281×body80valid

simplify61.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0215
1355
2565
3945
41505
51855
62035
72305
82805
93685
104575
117235
129225
1310385
1410605
1510605

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.8b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* y (/ (- z t) (- z a))))
0.0b
(/ (- z t) (- z a))
2.6b
(* y (/ (- z t) (- z a)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
71×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
10×add-exp-log add-cbrt-cube
5×pow1 associate-/r* associate-/l* add-log-exp
4×associate-/r/
3×flip3-- associate-*l* flip--
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative frac-2neg flip3-+ div-sub associate-*r/ pow-prod-down clear-num sum-log *-commutative flip-+
Counts
3 → 113
Calls
3 calls:
2.0ms
(+ x (* y (/ (- z t) (- z a))))
10.0ms
(/ (- z t) (- z a))
27.0ms
(* y (/ (- z t) (- z a)))

series370.0ms

Counts
3 → 9
Calls
3 calls:
266.0ms
(+ x (* y (/ (- z t) (- z a))))
40.0ms
(/ (- z t) (- z a))
64.0ms
(* y (/ (- z t) (- z a)))

simplify52.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0423747
11655704
25001704

prune262.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- z a))
0.5b
(cbrt (- z a))
0.5b
(cbrt (- z a))
7.5b
(* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
60×*-un-lft-identity
50×times-frac
46×associate-*r*
42×cbrt-prod
28×add-cube-cbrt
25×add-exp-log
20×cbrt-div
18×add-cbrt-cube
16×distribute-lft-out-- difference-of-squares
15×associate-*l*
10×flip3-- associate-/r/ flip--
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×pow1 unswap-sqr
5×frac-times
4×add-log-exp
3×pow1/3 associate-*r/ associate-*l/
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 136
Calls
4 calls:
2.0ms
(cbrt (- z a))
2.0ms
(cbrt (- z a))
4.0ms
(cbrt (- z a))
69.0ms
(* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))

series548.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(cbrt (- z a))
145.0ms
(cbrt (- z a))
145.0ms
(cbrt (- z a))
108.0ms
(* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))

simplify80.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
06461592
130931439
250011374

prune452.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
0.8b
(* (/ (cbrt y) (cbrt (- z a))) (/ (- z t) (cbrt (- z a))))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
145×add-sqr-sqrt
110×times-frac
105×cbrt-prod
93×*-un-lft-identity
55×add-cube-cbrt
54×associate-*l*
46×associate-*r*
19×distribute-lft-out-- difference-of-squares
16×add-exp-log
15×unswap-sqr
10×add-cbrt-cube
6×pow1
4×cbrt-undiv cbrt-div div-exp prod-exp associate-/r/ cbrt-unprod add-log-exp
3×pow1/3
2×flip3-- flip-- div-inv
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 168
Calls
4 calls:
0.0ms
(cbrt y)
0.0ms
(cbrt y)
1.0ms
(cbrt y)
76.0ms
(* (/ (cbrt y) (cbrt (- z a))) (/ (- z t) (cbrt (- z a))))

series1.0s

Counts
4 → 12
Calls
4 calls:
174.0ms
(cbrt y)
175.0ms
(cbrt y)
180.0ms
(cbrt y)
505.0ms
(* (/ (cbrt y) (cbrt (- z a))) (/ (- z t) (cbrt (- z a))))

simplify75.0ms

Algorithm
egg-herbie
Counts
180 → 180
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
07291814
129781733
250021727

prune651.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

1.5b
(cbrt (/ (- z t) (cbrt (- z a))))
1.5b
(cbrt (/ (- z t) (cbrt (- z a))))
1.5b
(cbrt (/ (- z t) (cbrt (- z a))))
5.8b
(* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (* (cbrt (/ (- z t) (cbrt (- z a)))) (cbrt (/ (- z t) (cbrt (- z a))))))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
213×cbrt-prod
143×add-sqr-sqrt
141×*-un-lft-identity
124×times-frac
63×add-cube-cbrt
39×distribute-lft-out-- difference-of-squares
29×cbrt-div
25×add-exp-log
15×associate-*l* add-cbrt-cube
14×associate-/r/
11×prod-exp cbrt-unprod
9×pow1 frac-times flip3-- flip--
7×associate-*r/
5×associate-*l/
4×cbrt-undiv div-exp div-inv add-log-exp
3×pow1/3 pow-prod-down
2×unswap-sqr
1×associate-*r* *-commutative
Counts
4 → 212
Calls
4 calls:
6.0ms
(cbrt (/ (- z t) (cbrt (- z a))))
6.0ms
(cbrt (/ (- z t) (cbrt (- z a))))
7.0ms
(cbrt (/ (- z t) (cbrt (- z a))))
91.0ms
(* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (* (cbrt (/ (- z t) (cbrt (- z a)))) (cbrt (/ (- z t) (cbrt (- z a))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
309.0ms
(cbrt (/ (- z t) (cbrt (- z a))))
307.0ms
(cbrt (/ (- z t) (cbrt (- z a))))
315.0ms
(cbrt (/ (- z t) (cbrt (- z a))))
169.0ms
(* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (* (cbrt (/ (- z t) (cbrt (- z a)))) (cbrt (/ (- z t) (cbrt (- z a))))))

simplify93.0ms

Algorithm
egg-herbie
Counts
224 → 224
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
07503229
123943033
250012990

prune866.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes204.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01917
11917

end0.0ms

sample882.0ms

Algorithm
intervals
Results
615.0ms8733×body80valid
0.0ms1×body1280valid