Details

Time bar (total: 10.0m)

sample71.0ms

Algorithm
intervals
Results
20.0ms225×body80nan
19.0ms256×body80valid

simplify45.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05017
110817
238917
3176117
4500217

prune5.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.0b

Counts
2 → 1

localize24.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)))))
6.8b
(/ (* z (sqrt (+ t a))) t)

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
5600×frac-sub
4092×add-sqr-sqrt
3181×*-un-lft-identity
2442×associate-/l*
2267×add-cube-cbrt
2241×associate-*r*
2163×associate-/r*
1900×frac-times
1511×times-frac
1468×flip3-+ flip-+
1365×prod-diff
1354×associate-*l*
1186×associate-*r/
1051×flip3-- flip--
907×sqrt-prod
658×unswap-sqr
414×*-commutative
328×associate--r+
316×distribute-lft-out
268×frac-2neg clear-num
236×sqrt-div
234×associate-/l/
228×difference-of-squares
169×distribute-lft-out--
164×distribute-rgt-in distribute-lft-in
55×fma-neg
50×associate-*l/
30×div-inv
16×add-exp-log add-cbrt-cube
6×pow1 add-log-exp
4×cbrt-undiv expm1-log1p-u div-exp associate--l+ log1p-expm1-u
3×sub-neg prod-exp cbrt-unprod
2×+-commutative
1×diff-log pow-prod-down
Counts
4 → 4536
Calls
4 calls:
7.0ms
(* z (sqrt (+ t a)))
12.0ms
(/ 2.0 (* t 3.0))
284.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
15.0ms
(/ (* z (sqrt (+ t a))) t)

series359.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(* z (sqrt (+ t a)))
16.0ms
(/ 2.0 (* t 3.0))
188.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
86.0ms
(/ (* z (sqrt (+ t a))) t)

simplify2.2s

Algorithm
egg-herbie
Counts
4548 → 4548
Iterations

Useful iterations: 0 (146.0ms)

IterNodesCost
09317221969

prune26.0s

Filtered
4548 candidates to 3163 candidates (69.5%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New454444548
Fresh000
Picked101
Done000
Total454544549

Merged error: 0.2b

Counts
4549 → 4

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
1.2b
(fma (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (sqrt (+ t a))) (cbrt t)) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

rewrite5.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)
1.0ms
(fma (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (sqrt (+ t a))) (cbrt t)) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

series972.0ms

Counts
4 → 12
Calls
4 calls:
173.0ms
(cbrt t)
176.0ms
(cbrt t)
176.0ms
(cbrt t)
446.0ms
(fma (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (sqrt (+ t a))) (cbrt t)) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

simplify64.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 3 (59.0ms)

IterNodesCost
0185450
1504391
22161378
35001374

prune362.0ms

Filtered
61 candidates to 54 candidates (88.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New61061
Fresh033
Picked011
Done000
Total61465

Merged error: 0.2b

Counts
65 → 4

localize30.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0)))
2.3b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0)))))))
6.8b
(/ (* z (sqrt (+ t a))) t)
38.8b
(cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0))))

rewrite22.5s

Algorithm
rewrite-expression-head
Rules
196933×add-sqr-sqrt
111477×unswap-sqr
52630×associate-*l*
51718×times-frac
47128×associate-*r*
45400×*-un-lft-identity
38600×frac-sub
36745×cbrt-prod
34984×prod-diff
31110×add-cube-cbrt
21792×associate--r+
19328×cbrt-div
19127×*-commutative
19123×swap-sqr
17465×associate-/l*
17075×associate-/r*
12900×frac-times
12383×difference-of-squares
10896×distribute-rgt-in distribute-lft-in
10377×flip3-+ flip-+
8004×associate-*r/
7517×sqrt-prod
7004×distribute-lft-out
6551×flip3-- flip--
1554×sqrt-div associate-/l/
929×frac-2neg clear-num
252×div-inv
180×add-exp-log add-cbrt-cube
169×distribute-lft-out--
112×prod-exp cbrt-unprod
55×fma-neg
50×associate-*l/
32×cbrt-undiv div-exp
6×add-log-exp
4×pow1 expm1-log1p-u associate--l+ log1p-expm1-u
3×sub-neg
2×+-commutative
1×pow1/3 diff-log
Counts
4 → 60332
Calls
4 calls:
151.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0)))
4.9s
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0)))))))
12.0ms
(/ (* z (sqrt (+ t a))) t)
238.0ms
(cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0))))

series481.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0)))
308.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0)))))))
80.0ms
(/ (* z (sqrt (+ t a))) t)
53.0ms
(cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0))))

simplify38.2s

Algorithm
egg-herbie
Counts
60344 → 60344
Iterations

Useful iterations: 0 (1.5s)

IterNodesCost
0685203991500

prune4.6m

Filtered
60344 candidates to 24070 candidates (39.9%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New60343160344
Fresh112
Picked101
Done011
Total60345360348

Merged error: 0b

Counts
60348 → 3

localize41.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0)))
1.4b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0))) 1/3))))
6.8b
(/ (* z (sqrt (+ t a))) t)
38.7b
(pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0))) 1/3)

rewrite15.2s

Algorithm
rewrite-expression-head
Rules
161431×add-sqr-sqrt
90468×unswap-sqr
51769×times-frac
37953×associate-*l*
36745×unpow-prod-down *-un-lft-identity
35047×prod-diff
34882×associate-*r*
23981×add-cube-cbrt
21800×associate--r+
15499×swap-sqr
15040×*-commutative
12438×difference-of-squares
10900×distribute-rgt-in distribute-lft-in
6241×distribute-lft-out
3692×sqrt-prod
352×add-exp-log
253×div-inv
223×prod-exp
200×frac-sub
181×associate-/l*
180×add-cbrt-cube
169×distribute-lft-out--
151×flip3-- flip--
124×associate-/r*
112×cbrt-unprod
100×frac-times
68×associate-*r/
64×sqr-pow
62×div-exp
55×fma-neg
50×associate-*l/
32×cbrt-undiv
31×pow-exp
18×sqrt-div associate-/l/
10×frac-2neg clear-num
9×flip3-+ flip-+
6×add-log-exp
5×pow1
4×expm1-log1p-u associate--l+ log1p-expm1-u
3×sub-neg pow-unpow
2×+-commutative
1×pow-to-exp pow-pow unpow1/3 diff-log
Counts
4 → 41104
Calls
4 calls:
175.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0)))
4.0s
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0))) 1/3))))
12.0ms
(/ (* z (sqrt (+ t a))) t)
306.0ms
(pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0))) 1/3)

series762.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0)))
401.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0))) 1/3))))
81.0ms
(/ (* z (sqrt (+ t a))) t)
237.0ms
(pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t t) t) (* (* 3.0 3.0) 3.0))) 1/3)

simplify27.1s

Algorithm
egg-herbie
Counts
41116 → 41116
Iterations

Useful iterations: 0 (807.0ms)

IterNodesCost
0317752518998

prune2.5m

Filtered
41116 candidates to 14232 candidates (34.6%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New41116041116
Fresh011
Picked011
Done011
Total41116341119

Merged error: 0b

Counts
41119 → 3

regimes280.0ms

Accuracy

0% (1.2b remaining)

Error of 1.4b against oracle of 0.2b and baseline of 1.4b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04627
14827
24827

end0.0ms

sample1.8s

Algorithm
intervals
Results
588.0ms8000×body80valid
549.0ms7833×body80nan

end36.5s