Details

Time bar (total: 3.4s)

sample16.0ms

Algorithm
intervals
Results
6.0ms265×body80valid

simplify10.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0103
1173
2213
3213

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.2b

localize6.0ms

Local error

Found 1 expressions with local error:

3.2b
(/ x (- y (* z t)))

rewrite5.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×associate-/r/
1×pow1 cbrt-undiv expm1-log1p-u flip3-- frac-2neg div-exp clear-num flip-- log1p-expm1-u div-inv add-log-exp
Counts
1 → 31
Calls
1 calls:
4.0ms
(/ x (- y (* z t)))

series35.0ms

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

simplify113.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 3 (40.0ms)

IterNodesCost
0135194
1424180
21338179
34401178
45001178

prune87.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 3.2b

localize7.0ms

Local error

Found 2 expressions with local error:

0.4b
(/ 1 (- y (* z t)))
3.1b
(* x (/ 1 (- y (* z t))))

rewrite19.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×div-exp prod-exp associate-/r/
3×associate-*l* associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv expm1-log1p-u rec-exp flip3-- 1-exp flip-- 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 → 75
Calls
2 calls:
4.0ms
(/ 1 (- y (* z t)))
12.0ms
(* x (/ 1 (- y (* z t))))

series81.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(/ 1 (- y (* z t)))
33.0ms
(* x (/ 1 (- y (* z t))))

simplify67.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 3 (62.0ms)

IterNodesCost
0244439
11023381
23734349
35001348

prune141.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 3.2b

localize12.0ms

Local error

Found 4 expressions with local error:

2.1b
(/ x (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
9.1b
(cbrt (- y (* z t)))
9.1b
(cbrt (- y (* z t)))
9.1b
(cbrt (- y (* z t)))

rewrite14.0ms

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

series520.0ms

Counts
4 → 12
Calls
4 calls:
171.0ms
(/ x (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
114.0ms
(cbrt (- y (* z t)))
120.0ms
(cbrt (- y (* z t)))
114.0ms
(cbrt (- y (* z t)))

simplify75.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 3 (66.0ms)

IterNodesCost
0337764
1907707
23136690
35002681

prune337.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 3.1b

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.6b
(/ (cbrt x) (- y (* z t)))
1.8b
(* (* (cbrt x) (cbrt x)) (/ (cbrt x) (- y (* z t))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
38×times-frac
34×add-cube-cbrt *-un-lft-identity
28×cbrt-prod
24×associate-*r*
18×add-exp-log
11×add-cbrt-cube
9×pow1
6×prod-exp cbrt-unprod associate-/l*
4×expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp pow-prod-down associate-/r* unswap-sqr
2×flip3-- pow1/3 flip-- div-inv
1×frac-2neg associate-*r/ associate-*l* clear-num *-commutative
Counts
4 → 118
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
5.0ms
(/ (cbrt x) (- y (* z t)))
23.0ms
(* (* (cbrt x) (cbrt x)) (/ (cbrt x) (- y (* z t))))

series534.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(cbrt x)
180.0ms
(cbrt x)
109.0ms
(/ (cbrt x) (- y (* z t)))
60.0ms
(* (* (cbrt x) (cbrt x)) (/ (cbrt x) (- y (* z t))))

simplify55.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0387965
11998829
25002795

prune522.0ms

Pruning

11 alts after pruning (7 fresh and 4 done)

Merged error: 3.1b

regimes287.0ms

Accuracy

0% (0.1b remaining)

Error of 2.9b against oracle of 2.9b and baseline of 2.9b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
083
183

end0.0ms

sample429.0ms

Algorithm
intervals
Results
213.0ms8375×body80valid