Details

Time bar (total: 5.9s)

sample30.0ms

Algorithm
intervals
Results
15.0ms275×body80valid

simplify93.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0195
1385
2605
3885
41225
51755
66255
746865
850015

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.9b

localize8.0ms

Local error

Found 1 expressions with local error:

10.6b
(/ (- x (* y z)) (- t (* a z)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
3×add-exp-log associate-/r* add-cbrt-cube associate-/l*
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow1 cbrt-undiv expm1-log1p-u frac-2neg div-sub div-exp clear-num log1p-expm1-u div-inv add-log-exp
Counts
1 → 34
Calls
1 calls:
8.0ms
(/ (- x (* y z)) (- t (* a z)))

series23.0ms

Counts
1 → 3
Calls
1 calls:
23.0ms
(/ (- x (* y z)) (- t (* a z)))

simplify78.0ms

Algorithm
egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 3 (73.0ms)

IterNodesCost
0203303
1727281
22912280
35002278

prune328.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 10.6b

localize9.0ms

Local error

Found 2 expressions with local error:

0.6b
(/ 1 (- t (* a z)))
10.2b
(* (- x (* y z)) (/ 1 (- t (* a z))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×times-frac
19×*-un-lft-identity
18×add-cube-cbrt
15×add-exp-log associate-*r*
9×add-cbrt-cube
5×pow1
4×flip3-- div-exp prod-exp associate-/r/ flip--
3×associate-*l* associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv expm1-log1p-u frac-times rec-exp 1-exp associate-*l/ cbrt-unprod log1p-expm1-u div-inv add-log-exp
1×pow-flip frac-2neg associate-*r/ pow-prod-down clear-num un-div-inv *-commutative inv-pow
Counts
2 → 79
Calls
2 calls:
4.0ms
(/ 1 (- t (* a z)))
17.0ms
(* (- x (* y z)) (/ 1 (- t (* a z))))

series36.0ms

Counts
2 → 6
Calls
2 calls:
13.0ms
(/ 1 (- t (* a z)))
24.0ms
(* (- x (* y z)) (/ 1 (- t (* a z))))

simplify46.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0307573
11439499
25001473

prune547.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 10.6b

localize13.0ms

Local error

Found 4 expressions with local error:

7.3b
(cbrt (/ 1 (- t (* a z))))
7.3b
(cbrt (/ 1 (- t (* a z))))
7.3b
(cbrt (/ 1 (- t (* a z))))
10.2b
(* (- x (* y z)) (* (* (cbrt (/ 1 (- t (* a z)))) (cbrt (/ 1 (- t (* a z))))) (cbrt (/ 1 (- t (* a z))))))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
45×cbrt-prod
39×cbrt-div
29×frac-times
27×times-frac
26×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
17×associate-*l/
16×associate-*r/
13×pow1 add-exp-log
11×flip3-- flip--
9×add-cbrt-cube
6×pow-prod-down prod-exp associate-/r/ cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*l* div-inv
1×associate-*r* *-commutative
Counts
4 → 124
Calls
4 calls:
3.0ms
(cbrt (/ 1 (- t (* a z))))
3.0ms
(cbrt (/ 1 (- t (* a z))))
3.0ms
(cbrt (/ 1 (- t (* a z))))
111.0ms
(* (- x (* y z)) (* (* (cbrt (/ 1 (- t (* a z)))) (cbrt (/ 1 (- t (* a z))))) (cbrt (/ 1 (- t (* a z))))))

series139.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(cbrt (/ 1 (- t (* a z))))
37.0ms
(cbrt (/ 1 (- t (* a z))))
35.0ms
(cbrt (/ 1 (- t (* a z))))
32.0ms
(* (- x (* y z)) (* (* (cbrt (/ 1 (- t (* a z)))) (cbrt (/ 1 (- t (* a z))))) (cbrt (/ 1 (- t (* a z))))))

simplify60.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
04901769
116451600
250021423

prune1.3s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 10.6b

localize17.0ms

Local error

Found 4 expressions with local error:

4.7b
(* (- x (* y z)) (* (* (cbrt 1) (cbrt (/ 1 (- t (* a z))))) (cbrt 1)))
7.3b
(cbrt (/ 1 (- t (* a z))))
7.9b
(cbrt (- t (* a z)))
7.9b
(cbrt (- t (* a z)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
21×cbrt-prod
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
13×pow1 add-exp-log
9×times-frac add-cbrt-cube
8×cbrt-div
6×pow-prod-down prod-exp cbrt-unprod
5×flip3-- associate-*l/ flip--
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
3×pow1/3 associate-*l*
2×frac-times associate-/r/
1×associate-*r* *-commutative div-inv
Counts
4 → 84
Calls
4 calls:
68.0ms
(* (- x (* y z)) (* (* (cbrt 1) (cbrt (/ 1 (- t (* a z))))) (cbrt 1)))
3.0ms
(cbrt (/ 1 (- t (* a z))))
1.0ms
(cbrt (- t (* a z)))
2.0ms
(cbrt (- t (* a z)))

series196.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(* (- x (* y z)) (* (* (cbrt 1) (cbrt (/ 1 (- t (* a z))))) (cbrt 1)))
34.0ms
(cbrt (/ 1 (- t (* a z))))
36.0ms
(cbrt (- t (* a z)))
34.0ms
(cbrt (- t (* a z)))

simplify62.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
0582973
11938862
25001753

prune1.0s

Pruning

13 alts after pruning (9 fresh and 4 done)

Merged error: 10.5b

regimes941.0ms

Accuracy

0% (0.3b remaining)

Error of 10.5b against oracle of 10.2b and baseline of 10.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0125
1125

end0.0ms

sample758.0ms

Algorithm
intervals
Results
496.0ms8750×body80valid