Details

Time bar (total: 6.0s)

sample24.0ms

Algorithm
intervals
Results
12.0ms310×body80valid

simplify19.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: 4.5b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
1192×times-frac
1082×add-sqr-sqrt
1078×*-un-lft-identity
819×prod-diff
814×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
129×distribute-lft-out-- difference-of-squares
104×div-inv
80×associate-/r/
42×flip3-- flip--
13×fma-neg
10×associate-*r*
7×add-exp-log add-cbrt-cube
5×pow1 associate-/r* add-log-exp
3×expm1-log1p-u sub-neg associate-*r/ associate-*l* log1p-expm1-u associate-/l*
2×frac-sub
1×cbrt-undiv frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr
Counts
3 → 927
Calls
3 calls:
6.0ms
(/ t (- 1.0 z))
29.0ms
(- (/ y z) (/ t (- 1.0 z)))
44.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series131.0ms

Counts
3 → 9
Calls
3 calls:
40.0ms
(/ t (- 1.0 z))
34.0ms
(- (/ y z) (/ t (- 1.0 z)))
57.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify239.0ms

Algorithm
egg-herbie
Counts
936 → 936
Iterations

Useful iterations: 1 (36.0ms)

IterNodesCost
0166127825
1500122260

prune1.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
56×*-un-lft-identity
32×add-sqr-sqrt times-frac
22×add-cube-cbrt
13×fma-def
8×distribute-lft-out
7×add-exp-log associate-*r* add-cbrt-cube add-log-exp
6×distribute-rgt-neg-in distribute-lft-out--
5×pow1 associate-/r*
4×difference-of-squares
3×expm1-log1p-u associate-*r/ associate-*l* log1p-expm1-u associate-/l*
2×flip3-+ frac-add sum-log associate-/r/ flip-+ div-inv distribute-neg-frac
1×cbrt-undiv +-commutative neg-sub0 distribute-rgt-in associate-+r- flip3-- frac-2neg distribute-lft-in div-exp unsub-neg pow-prod-down neg-log prod-exp clear-num *-commutative flip-- cbrt-unprod unswap-sqr
Counts
3 → 103
Calls
3 calls:
5.0ms
(/ t (- 1.0 z))
32.0ms
(+ (/ y z) (- (/ t (- 1.0 z))))
32.0ms
(* x (+ (/ y z) (- (/ t (- 1.0 z)))))

series115.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(/ t (- 1.0 z))
36.0ms
(+ (/ y z) (- (/ t (- 1.0 z))))
45.0ms
(* x (+ (/ y z) (- (/ t (- 1.0 z)))))

simplify54.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0417610
11902544
25002540

prune294.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
4.3b
(* x (+ (/ y z) (- (* (* (cbrt t) (cbrt t)) (/ (cbrt t) (- 1.0 z))))))

rewrite17.0ms

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

series617.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt t)
187.0ms
(cbrt t)
177.0ms
(cbrt t)
73.0ms
(* x (+ (/ y z) (- (* (* (cbrt t) (cbrt t)) (/ (cbrt t) (- 1.0 z))))))

simplify41.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0251511
11166439
25002419

prune270.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 4 expressions with local error:

4.3b
(* x (+ (/ y z) (- (* (* (cbrt (/ t (- 1.0 z))) (cbrt (/ t (- 1.0 z)))) (cbrt (/ t (- 1.0 z)))))))
9.9b
(cbrt (/ t (- 1.0 z)))
9.9b
(cbrt (/ t (- 1.0 z)))
9.9b
(cbrt (/ t (- 1.0 z)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
63×cbrt-prod
53×add-sqr-sqrt *-un-lft-identity
45×times-frac
33×add-cube-cbrt
15×cbrt-div
12×associate-*r/
9×distribute-lft-out-- difference-of-squares
7×frac-add distribute-neg-frac
6×pow1 add-exp-log associate-/r/ add-cbrt-cube
5×frac-times associate-*l/
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×flip3-- pow1/3 associate-*l* flip-- div-inv
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ distribute-lft-out unswap-sqr
Counts
4 → 128
Calls
4 calls:
13.0ms
(* x (+ (/ y z) (- (* (* (cbrt (/ t (- 1.0 z))) (cbrt (/ t (- 1.0 z)))) (cbrt (/ t (- 1.0 z)))))))
5.0ms
(cbrt (/ t (- 1.0 z)))
5.0ms
(cbrt (/ t (- 1.0 z)))
5.0ms
(cbrt (/ t (- 1.0 z)))

series501.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(* x (+ (/ y z) (- (* (* (cbrt (/ t (- 1.0 z))) (cbrt (/ t (- 1.0 z)))) (cbrt (/ t (- 1.0 z)))))))
145.0ms
(cbrt (/ t (- 1.0 z)))
138.0ms
(cbrt (/ t (- 1.0 z)))
142.0ms
(cbrt (/ t (- 1.0 z)))

simplify63.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
05791583
119331434
250021326

prune491.0ms

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.1b

regimes226.0ms

Accuracy

18% (3.3b remaining)

Error of 3.7b against oracle of 0.4b and baseline of 4.5b

bsearch106.0ms

Steps
ItersRangePoint
10
7.321990458711248e-162
2.10492686588732e-151
6.488526298862157e-152
9
-2.0898868129100636e-78
-1.2981264631003046e-87
-5.812291272973861e-84

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03414
13814
23914
33914

end0.0ms

sample569.0ms

Algorithm
intervals
Results
306.0ms10030×body80valid