Details

Time bar (total: 5.7s)

sample36.0ms

Algorithm
intervals
Results
15.0ms238×body80valid
3.0ms11×body1280valid
3.0ms13×body640valid
2.0ms11×body320valid
1.0ms11×body160valid

simplify65.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (10.0ms)

IterNodesCost
0226
1526
21116
32136
45175
510515
620555
732805
850025

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.7b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- a t))
11.8b
(fma (/ y (- a t)) (- t z) (+ x y))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/r*
4×add-exp-log add-cbrt-cube distribute-lft-out-- difference-of-squares
3×associate-/l*
2×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
1×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- fma-udef div-inv
Counts
2 → 49
Calls
2 calls:
5.0ms
(/ y (- a t))
0.0ms
(fma (/ y (- a t)) (- t z) (+ x y))

series102.0ms

Counts
2 → 6
Calls
2 calls:
27.0ms
(/ y (- a t))
75.0ms
(fma (/ y (- a t)) (- t z) (+ x y))

simplify40.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0170278
1468257
21400257
35002257

prune168.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.7b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a t) y)
1.0b
(/ 1 (/ (- a t) y))
11.7b
(fma (/ 1 (/ (- a t) y)) (- t z) (+ x y))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
132×times-frac
101×add-sqr-sqrt *-un-lft-identity
69×add-cube-cbrt
22×associate-/r*
16×add-exp-log distribute-lft-out-- difference-of-squares
10×add-cbrt-cube
8×div-exp associate-/l*
6×div-inv
4×pow1 cbrt-undiv
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×rec-exp frac-2neg 1-exp clear-num associate-/l/
1×flip3-- pow-flip div-sub associate-/r/ flip-- fma-udef inv-pow
Counts
3 → 152
Calls
3 calls:
9.0ms
(/ (- a t) y)
9.0ms
(/ 1 (/ (- a t) y))
0.0ms
(fma (/ 1 (/ (- a t) y)) (- t z) (+ x y))

series178.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(/ (- a t) y)
68.0ms
(/ 1 (/ (- a t) y))
83.0ms
(fma (/ 1 (/ (- a t) y)) (- t z) (+ x y))

simplify48.0ms

Algorithm
egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
04661086
11950958
25001852

prune319.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.7b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a t) y)
3.5b
(+ (/ (- t z) (/ (- a t) y)) (+ x y))
10.2b
(/ (- t z) (/ (- a t) y))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
370×times-frac
309×*-un-lft-identity
304×add-sqr-sqrt
152×add-cube-cbrt
100×fma-def
76×distribute-lft-out-- difference-of-squares
22×associate-/r*
14×div-inv
10×add-exp-log add-cbrt-cube associate-/l*
8×add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×pow1 expm1-log1p-u div-sub sum-log log1p-expm1-u distribute-lft-out
2×flip3-- frac-2neg flip3-+ frac-add clear-num associate-/r/ flip-- flip-+
1×+-commutative associate-+l- associate-+r+
Counts
3 → 299
Calls
3 calls:
8.0ms
(/ (- a t) y)
97.0ms
(+ (/ (- t z) (/ (- a t) y)) (+ x y))
16.0ms
(/ (- t z) (/ (- a t) y))

series314.0ms

Counts
3 → 9
Calls
3 calls:
26.0ms
(/ (- a t) y)
194.0ms
(+ (/ (- t z) (/ (- a t) y)) (+ x y))
94.0ms
(/ (- t z) (/ (- a t) y))

simplify82.0ms

Algorithm
egg-herbie
Counts
308 → 308
Iterations

Useful iterations: 2 (64.0ms)

IterNodesCost
08921815
135651754
250011752

prune797.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 4.4b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a t))
0.6b
(cbrt (- a t))
3.8b
(/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y))))
10.8b
(fma (/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (- t z)) (/ (cbrt (- a t)) (cbrt y))) (+ x y))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
45×add-exp-log
19×add-cbrt-cube
18×cbrt-undiv div-exp
16×cbrt-div
13×prod-exp cbrt-unprod
12×add-sqr-sqrt *-un-lft-identity
10×cbrt-prod
8×add-cube-cbrt flip3-- flip-- associate-/l/
7×times-frac
5×associate-/r*
4×pow1 expm1-log1p-u frac-times log1p-expm1-u add-log-exp
3×div-inv
2×pow1/3 associate-*r/ associate-*l/ distribute-lft-out-- difference-of-squares
1×frac-2neg clear-num associate-/r/ fma-udef associate-/l*
Counts
4 → 96
Calls
4 calls:
4.0ms
(cbrt (- a t))
2.0ms
(cbrt (- a t))
19.0ms
(/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y))))
0.0ms
(fma (/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (- t z)) (/ (cbrt (- a t)) (cbrt y))) (+ x y))

series1.3s

Counts
4 → 12
Calls
4 calls:
150.0ms
(cbrt (- a t))
150.0ms
(cbrt (- a t))
306.0ms
(/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y))))
693.0ms
(fma (/ (* (cbrt (- t z)) (cbrt (- t z))) (/ (* (cbrt (- a t)) (cbrt (- a t))) (* (cbrt y) (cbrt y)))) (/ (cbrt (- t z)) (/ (cbrt (- a t)) (cbrt y))) (+ x y))

simplify62.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
05651566
124241280
250021181

prune439.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 4.4b

regimes386.0ms

Accuracy

42% (4.3b remaining)

Error of 7.6b against oracle of 3.4b and baseline of 10.7b

bsearch59.0ms

Steps
ItersRangePoint
5
1.615910537420553e+115
3.3380356951628065e+115
2.007896443040956e+115
4
-2.4545733062375823e+171
-1.68984713455533e+171
-1.8944240311531765e+171

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02926
12926

end0.0ms

sample1.0s

Algorithm
intervals
Results
466.0ms7326×body80valid
116.0ms476×body640valid
75.0ms249×body1280valid
69.0ms391×body320valid
31.0ms242×body160valid
5.0ms15×body2560valid