Details

Time bar (total: 7.9s)

sample78.0ms

Algorithm
intervals
Results
21.0ms298×body80nan
17.0ms256×body80valid

simplify40.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05017
110817
238917
3176117
4500217

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(* z (sqrt (+ t a)))
0.3b
(/ 2.0 (* t 3.0))
2.3b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
4.5b
(/ (* z (sqrt (+ t a))) t)

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
75×*-un-lft-identity
63×prod-diff
62×associate--r+
49×add-sqr-sqrt
45×add-cube-cbrt
36×times-frac
31×distribute-rgt-in distribute-lft-in
20×frac-sub
16×add-exp-log add-cbrt-cube
15×distribute-lft-out
12×div-inv
9×flip3-- flip--
8×frac-times associate-*r/
7×fma-neg associate-*r*
6×pow1 add-log-exp
5×flip3-+ sqrt-prod flip-+
4×cbrt-undiv expm1-log1p-u sqrt-div div-exp associate-/r* log1p-expm1-u associate-/l*
3×sub-neg associate-*l* prod-exp cbrt-unprod
2×frac-2neg associate-*l/ associate--l+ clear-num associate-/l/ unswap-sqr
1×diff-log pow-prod-down *-commutative
Counts
4 → 179
Calls
4 calls:
20.0ms
(* z (sqrt (+ t a)))
7.0ms
(/ 2.0 (* t 3.0))
61.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
16.0ms
(/ (* z (sqrt (+ t a))) t)

series304.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(* z (sqrt (+ t a)))
15.0ms
(/ 2.0 (* t 3.0))
158.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
74.0ms
(/ (* z (sqrt (+ t a))) t)

simplify51.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
013772637
150012324

prune884.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
0.2b
(/ (sqrt (+ t a)) t)
0.3b
(/ 2.0 (* t 3.0))
2.6b
(fma (/ z 1) (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

rewrite234.0ms

Algorithm
rewrite-expression-head
Rules
97×*-un-lft-identity
60×add-sqr-sqrt
56×prod-diff
54×add-cube-cbrt
48×times-frac
31×distribute-rgt-in distribute-lft-in
19×distribute-lft-out
16×sqrt-prod
13×add-exp-log add-cbrt-cube
10×div-inv associate-/l*
8×frac-times flip3-- flip--
6×pow1 associate-*r* frac-sub
5×associate-*l*
4×expm1-log1p-u flip3-+ associate-*r/ associate-/r* flip-+ log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp distribute-lft-out--
2×sub-neg frac-2neg sqrt-div associate-*l/ prod-exp associate--l+ clear-num cbrt-unprod associate-/l/ difference-of-squares
1×pow-prod-down *-commutative fma-udef unswap-sqr
Counts
4 → 181
Calls
4 calls:
203.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
14.0ms
(/ (sqrt (+ t a)) t)
7.0ms
(/ 2.0 (* t 3.0))
0.0ms
(fma (/ z 1) (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

series328.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
53.0ms
(/ (sqrt (+ t a)) t)
15.0ms
(/ 2.0 (* t 3.0))
209.0ms
(fma (/ z 1) (/ (sqrt (+ t a)) t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

simplify107.0ms

Algorithm
egg-herbie
Counts
193 → 193
Iterations

Useful iterations: 2 (80.0ms)

IterNodesCost
08942691
140232163
250022158

prune710.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize30.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt t)
0.5b
(cbrt t)
0.5b
(cbrt t)
2.6b
(fma (/ z 1) (* (/ (sqrt (sqrt (+ t a))) (* (cbrt t) (cbrt t))) (/ (sqrt (sqrt (+ t a))) (cbrt t))) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
0.0ms
(fma (/ z 1) (* (/ (sqrt (sqrt (+ t a))) (* (cbrt t) (cbrt t))) (/ (sqrt (sqrt (+ t a))) (cbrt t))) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

series692.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(cbrt t)
160.0ms
(cbrt t)
162.0ms
(cbrt t)
205.0ms
(fma (/ z 1) (* (/ (sqrt (sqrt (+ t a))) (* (cbrt t) (cbrt t))) (/ (sqrt (sqrt (+ t a))) (cbrt t))) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

simplify46.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 3 (40.0ms)

IterNodesCost
0151448
1390386
21472371
35002354

prune411.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 2.0 (* t 3.0))
3.2b
(log (exp (/ 2.0 (* t 3.0))))
4.1b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
4.5b
(/ (* z (sqrt (+ t a))) t)

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
105×*-un-lft-identity
95×prod-diff
94×associate--r+
72×log-pow
63×exp-prod
61×add-sqr-sqrt add-cube-cbrt
47×distribute-rgt-in distribute-lft-in
39×times-frac
22×distribute-lft-out
14×add-exp-log add-cbrt-cube
13×pow1 div-inv
8×frac-sub
7×flip3-- fma-neg flip--
6×add-log-exp
4×cbrt-undiv expm1-log1p-u frac-times associate-*r/ div-exp associate-/r* log1p-expm1-u associate-/l*
3×sub-neg log-prod
2×frac-2neg sqrt-div associate-*l/ prod-exp associate--l+ clear-num cbrt-unprod associate-/l/
1×flip3-+ diff-log rem-log-exp flip-+
Counts
4 → 199
Calls
4 calls:
7.0ms
(/ 2.0 (* t 3.0))
9.0ms
(log (exp (/ 2.0 (* t 3.0))))
75.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
14.0ms
(/ (* z (sqrt (+ t a))) t)

series271.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(/ 2.0 (* t 3.0))
16.0ms
(log (exp (/ 2.0 (* t 3.0))))
167.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (log (exp (/ 2.0 (* t 3.0)))))))
73.0ms
(/ (* z (sqrt (+ t a))) t)

simplify60.0ms

Algorithm
egg-herbie
Counts
211 → 211
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
012143242
150012728

prune1.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes326.0ms

Accuracy

0% (2.0b remaining)

Error of 2.6b against oracle of 0.6b and baseline of 2.6b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04928
15128
25128

end0.0ms

sample1.9s

Algorithm
intervals
Results
540.0ms8000×body80valid
504.0ms7979×body80nan