Details

Time bar (total: 9.3s)

sample33.0ms

Algorithm
intervals
Results
21.0ms319×body80valid

simplify18.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0155
1255
2415
3635
4805
5965
61135
71215
81245
91245

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.3b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ y z) (/ t (- 1.0 z)))
3.1b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite294.0ms

Algorithm
rewrite-expression-head
Rules
1177×times-frac
1063×add-sqr-sqrt
1059×*-un-lft-identity
819×prod-diff
803×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
125×distribute-lft-out-- difference-of-squares
103×div-inv
78×associate-/r/
41×flip3-- flip--
13×fma-neg
10×associate-*r*
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×sub-neg associate-*r/ associate-*l*
2×expm1-log1p-u frac-sub log1p-expm1-u
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 888
Calls
2 calls:
42.0ms
(- (/ y z) (/ t (- 1.0 z)))
156.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series90.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(- (/ y z) (/ t (- 1.0 z)))
56.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify236.0ms

Algorithm
egg-herbie
Counts
894 → 894
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
0159427610
1500122051

prune1.6s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.4b

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
3.1b
(* x (+ (fma y (/ 1 z) (- (* (/ (cbrt t) (cbrt (- 1.0 z))) (/ (* (cbrt t) (cbrt t)) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))) (* (/ (* (cbrt t) (cbrt t)) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (+ (- (/ (cbrt t) (cbrt (- 1.0 z)))) (/ (cbrt t) (cbrt (- 1.0 z)))))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 63
Calls
4 calls:
0.0ms
(cbrt t)
0.0ms
(cbrt t)
1.0ms
(cbrt t)
8.0ms
(* x (+ (fma y (/ 1 z) (- (* (/ (cbrt t) (cbrt (- 1.0 z))) (/ (* (cbrt t) (cbrt t)) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))) (* (/ (* (cbrt t) (cbrt t)) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (+ (- (/ (cbrt t) (cbrt (- 1.0 z)))) (/ (cbrt t) (cbrt (- 1.0 z)))))))

series631.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(cbrt t)
177.0ms
(cbrt t)
184.0ms
(cbrt t)
83.0ms
(* x (+ (fma y (/ 1 z) (- (* (/ (cbrt t) (cbrt (- 1.0 z))) (/ (* (cbrt t) (cbrt t)) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))) (* (/ (* (cbrt t) (cbrt t)) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (+ (- (/ (cbrt t) (cbrt (- 1.0 z)))) (/ (cbrt t) (cbrt (- 1.0 z)))))))

simplify56.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
02471345
112761168
250011071

prune355.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

3.1b
(* x (- (/ y z) (/ t (- 1.0 z))))
4.5b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
4.5b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
4.5b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

rewrite296.0ms

Algorithm
rewrite-expression-head
Rules
776×times-frac
704×add-sqr-sqrt
701×*-un-lft-identity
546×prod-diff
534×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
82×distribute-lft-out-- difference-of-squares
68×div-inv
52×associate-/r/
30×flip3-- flip--
12×associate-*r/
10×associate-*r*
9×cbrt-div
6×pow1 add-exp-log add-cbrt-cube
4×expm1-log1p-u frac-sub log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*l*
2×sub-neg
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 622
Calls
4 calls:
150.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
27.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
25.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
24.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

series799.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
242.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
249.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
253.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

simplify177.0ms

Algorithm
egg-herbie
Counts
634 → 634
Iterations

Useful iterations: 1 (37.0ms)

IterNodesCost
0164919231
1500115423

prune1.3s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

4.5b
(cbrt (+ (+ (* x (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (* x (/ (- (pow (cbrt t) 3)) (- 1.0 z)))) (* (* (/ (cbrt t) (- 1.0 z)) (+ (- (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) x)))
4.5b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
4.5b
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
5.0b
(* x (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z))))

rewrite426.0ms

Algorithm
rewrite-expression-head
Rules
65×add-exp-log
55×associate-*r/
40×frac-add
36×associate-*l/
35×prod-exp
33×cbrt-div
26×add-cbrt-cube
16×frac-times flip3-+ flip-+
15×div-exp cbrt-unprod
9×pow1
7×cbrt-undiv
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×cbrt-prod
4×expm1-log1p-u rec-exp 1-exp log1p-expm1-u add-log-exp
3×pow1/3 associate-*l* pow-prod-down
2×flip3-- frac-sub flip--
1×associate-*r* *-commutative
Counts
4 → 109
Calls
4 calls:
292.0ms
(cbrt (+ (+ (* x (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (* x (/ (- (pow (cbrt t) 3)) (- 1.0 z)))) (* (* (/ (cbrt t) (- 1.0 z)) (+ (- (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) x)))
26.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
25.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
77.0ms
(* x (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z))))

series759.0ms

Counts
4 → 12
Calls
4 calls:
227.0ms
(cbrt (+ (+ (* x (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (* x (/ (- (pow (cbrt t) 3)) (- 1.0 z)))) (* (* (/ (cbrt t) (- 1.0 z)) (+ (- (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) x)))
244.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
239.0ms
(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
49.0ms
(* x (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z))))

simplify62.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
012954097
150023917

prune811.0ms

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.0b

regimes372.0ms

Accuracy

36.9% (2.9b remaining)

Error of 3.0b against oracle of 0.0b and baseline of 4.7b

bsearch2.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02417
12417

end0.0ms

sample920.0ms

Algorithm
intervals
Results
643.0ms10093×body80valid