Details

Time bar (total: 5.9s)

sample27.0ms

Algorithm
intervals
Results
10.0ms234×body80valid
2.0ms17×body640valid
2.0ms20×body320valid
1.0ms3×body1280valid
0.0ms7×body160valid
0.0ms1×body2560valid

simplify121.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: 17.9b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- z t) y)
3.1b
(- (+ x y) (/ (* (- z t) y) (- a t)))
12.5b
(/ (* (- z t) y) (- a t))

rewrite45.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:
10.0ms
(* (- z t) y)
24.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
9.0ms
(/ (* (- z t) y) (- a t))

series203.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(* (- z t) y)
109.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
64.0ms
(/ (* (- z t) y) (- a t))

simplify46.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0383461
11704422
25001422

prune210.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.8b

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a t))
0.6b
(cbrt (- a t))
3.7b
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
8.8b
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

rewrite89.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:
2.0ms
(cbrt (- a t))
2.0ms
(cbrt (- a t))
62.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
17.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

series508.0ms

Counts
4 → 12
Calls
4 calls:
149.0ms
(cbrt (- a t))
147.0ms
(cbrt (- a t))
100.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
111.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

prune472.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.8b

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a t))
0.6b
(cbrt (- a t))
1.5b
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t))))))
9.3b
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
73×add-exp-log
40×cbrt-div
39×add-cbrt-cube
32×prod-exp cbrt-unprod
22×cbrt-undiv div-exp
21×add-sqr-sqrt
19×frac-times
17×associate-*l*
16×associate-/r/
15×flip3-- *-un-lft-identity associate-*l/ flip--
14×frac-sub
13×associate-*r*
11×associate-*r/
10×cbrt-prod times-frac
9×add-cube-cbrt add-log-exp
7×flip3-+ flip-+
6×pow1
4×unswap-sqr
3×distribute-lft-out-- difference-of-squares
2×pow1/3 diff-log div-inv
1×sub-neg pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 134
Calls
4 calls:
2.0ms
(cbrt (- a t))
2.0ms
(cbrt (- a t))
82.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t))))))
19.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

series757.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(cbrt (- a t))
149.0ms
(cbrt (- a t))
286.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t))))))
172.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

simplify51.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
011383372
150012746

prune677.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.8b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
34×frac-times
30×frac-sub
26×associate-*l/
22×associate-*r/
15×cbrt-prod flip3-+ flip-+
13×add-sqr-sqrt *-un-lft-identity
9×add-log-exp
7×add-cube-cbrt
6×cbrt-div
4×pow1 add-exp-log flip3-- add-cbrt-cube flip--
3×pow1/3 distribute-lft-out-- difference-of-squares
2×diff-log
1×sub-neg associate--l+ sum-log
Counts
4 → 89
Calls
4 calls:
2.0ms
(cbrt (- a t))
2.0ms
(cbrt (- a t))
2.0ms
(cbrt (- a t))
24.0ms
(- (+ x y) (* (* (/ (* (cbrt (- z t)) (cbrt (- z t))) (cbrt (- a t))) (* (/ (cbrt (- z t)) (cbrt (- a t))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t))))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

series624.0ms

Counts
4 → 12
Calls
4 calls:
155.0ms
(cbrt (- a t))
146.0ms
(cbrt (- a t))
154.0ms
(cbrt (- a t))
169.0ms
(- (+ x y) (* (* (/ (* (cbrt (- z t)) (cbrt (- z t))) (cbrt (- a t))) (* (/ (cbrt (- z t)) (cbrt (- a t))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t))))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

simplify97.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 2 (78.0ms)

IterNodesCost
07432620
130132444
250012366

prune530.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.8b

regimes370.0ms

Accuracy

16.2% (6.2b remaining)

Error of 10.1b against oracle of 3.9b and baseline of 11.3b

bsearch105.0ms

Steps
ItersRangePoint
9
3.349994399890605e+43
1.1754976184003399e+51
1.0106266976484968e+51
8
-1.6005417465363138e+117
-2.0076508691347924e+113
-2.1392755824805588e+116

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04231
14231

end0.0ms

sample666.0ms

Algorithm
intervals
Results
240.0ms7326×body80valid
56.0ms476×body640valid
41.0ms418×body320valid
40.0ms236×body1280valid
17.0ms236×body160valid
3.0ms16×body2560valid