Details

Time bar (total: 7.3s)

sample28.0ms

Algorithm
intervals
Results
8.0ms228×body80valid
2.0ms18×body640valid
1.0ms9×body1280valid
1.0ms10×body320valid
1.0ms3×body2560valid
0.0ms7×body160valid

simplify125.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0226
1526
21096
31956
44456
58286
614346
725206
848306
950016

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.3b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
17×add-sqr-sqrt
10×add-exp-log add-cbrt-cube
8×add-log-exp
7×add-cube-cbrt
5×pow1 times-frac associate-*l* associate-/r* distribute-lft-out--
4×flip3-- associate-*l/ flip-- difference-of-squares
3×associate-*r*
2×cbrt-undiv diff-log div-exp prod-exp associate-/r/ frac-sub cbrt-unprod associate-/l/
1×sub-neg frac-2neg flip3-+ pow-prod-down associate--l+ clear-num sum-log *-commutative flip-+ div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
3 → 70
Calls
3 calls:
21.0ms
(* (- z t) y)
51.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
23.0ms
(/ (* (- z t) y) (- a t))

series197.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(* (- z t) y)
98.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
71.0ms
(/ (* (- z t) y) (- a t))

simplify46.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0383461
11704422
25001422

prune186.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.5b

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a t))
0.5b
(cbrt (- a t))
4.2b
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
7.9b
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
36×times-frac
35×*-un-lft-identity
30×associate-*r*
27×cbrt-prod
25×add-exp-log
23×add-cube-cbrt
18×cbrt-div add-cbrt-cube
17×associate-*l*
10×flip3-- associate-/r/ flip--
9×add-log-exp
8×prod-exp cbrt-unprod
7×cbrt-undiv frac-times div-exp
6×pow1 frac-sub distribute-lft-out-- difference-of-squares unswap-sqr
5×associate-*r/ associate-*l/
3×flip3-+ flip-+
2×pow1/3 diff-log div-inv
1×sub-neg pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 127
Calls
4 calls:
4.0ms
(cbrt (- a t))
4.0ms
(cbrt (- a t))
115.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
36.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

series454.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(cbrt (- a t))
131.0ms
(cbrt (- a t))
90.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
102.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

simplify88.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
07851736
133211577
250021498

prune454.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.5b

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a t))
0.6b
(cbrt (cbrt (- a t)))
1.8b
(* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (cbrt (- a t)))))
9.1b
(- (+ x y) (* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (cbrt (- a t))))))

rewrite256.0ms

Algorithm
rewrite-expression-head
Rules
160×times-frac
135×add-sqr-sqrt
97×cbrt-prod
80×associate-*l*
78×cbrt-div
72×*-un-lft-identity
54×add-cube-cbrt
42×associate-/r/
39×associate-*r*
36×add-exp-log
34×flip3-- flip--
23×frac-times
22×add-cbrt-cube
20×unswap-sqr
14×cbrt-undiv div-exp
13×associate-*r/ associate-*l/
10×prod-exp cbrt-unprod
9×distribute-lft-out-- add-log-exp difference-of-squares
6×pow1 frac-sub div-inv
3×flip3-+ flip-+
2×pow1/3 diff-log
1×sub-neg pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 220
Calls
4 calls:
4.0ms
(cbrt (- a t))
5.0ms
(cbrt (cbrt (- a t)))
194.0ms
(* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (cbrt (- a t)))))
39.0ms
(- (+ x y) (* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (cbrt (- a t))))))

series461.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(cbrt (- a t))
132.0ms
(cbrt (cbrt (- a t)))
89.0ms
(* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (cbrt (- a t)))))
106.0ms
(- (+ x y) (* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (cbrt (- a t))))))

simplify64.0ms

Algorithm
egg-herbie
Counts
232 → 232
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
014264638
150014418

prune1.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 5.5b

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt (- a t)))
0.6b
(cbrt (cbrt (- a t)))
0.9b
(* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (cbrt (- a t)))) (cbrt (cbrt (cbrt (- a t)))))))
9.1b
(- (+ x y) (* (* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (cbrt (- a t)))) (cbrt (cbrt (cbrt (- a t))))))) (/ (cbrt y) (cbrt (cbrt (cbrt (- a t)))))))

rewrite287.0ms

Algorithm
rewrite-expression-head
Rules
112×cbrt-div
106×add-exp-log times-frac
80×associate-*l*
66×add-sqr-sqrt
49×add-cbrt-cube
48×associate-/r/
47×cbrt-prod *-un-lft-identity
41×cbrt-undiv div-exp prod-exp cbrt-unprod
39×flip3-- flip--
35×frac-times add-cube-cbrt
23×associate-*l/
19×associate-*r/
14×frac-sub
13×associate-*r*
10×unswap-sqr
9×add-log-exp
7×flip3-+ flip-+
6×pow1 div-inv distribute-lft-out-- difference-of-squares
2×pow1/3 diff-log
1×sub-neg pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 219
Calls
4 calls:
5.0ms
(cbrt (cbrt (- a t)))
5.0ms
(cbrt (cbrt (- a t)))
222.0ms
(* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (cbrt (- a t)))) (cbrt (cbrt (cbrt (- a t)))))))
40.0ms
(- (+ x y) (* (* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (cbrt (- a t)))) (cbrt (cbrt (cbrt (- a t))))))) (/ (cbrt y) (cbrt (cbrt (cbrt (- a t)))))))

series728.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(cbrt (cbrt (- a t)))
141.0ms
(cbrt (cbrt (- a t)))
296.0ms
(* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (cbrt (- a t)))) (cbrt (cbrt (cbrt (- a t)))))))
154.0ms
(- (+ x y) (* (* (/ (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (cbrt (- a t)))) (cbrt (cbrt (cbrt (- a t))))))) (/ (cbrt y) (cbrt (cbrt (cbrt (- a t)))))))

simplify86.0ms

Algorithm
egg-herbie
Counts
231 → 231
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
016457011
150026101

prune1.3s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 5.5b

regimes334.0ms

Accuracy

31.9% (5.1b remaining)

Error of 9.2b against oracle of 4.1b and baseline of 11.6b

bsearch87.0ms

Steps
ItersRangePoint
9
4.2777570905466907e-191
7.325726230711739e-184
1.1307683724034909e-188
6
-5.072252383758936e-108
-9.93979222797904e-109
-2.787254080541803e-108

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04471
14471

end0.0ms

sample691.0ms

Algorithm
intervals
Results
229.0ms7369×body80valid
47.0ms448×body640valid
35.0ms268×body1280valid
29.0ms363×body320valid
14.0ms254×body160valid
4.0ms22×body2560valid