Details

Time bar (total: 13.3s)

sample73.0ms

Algorithm
intervals
Results
37.0ms614×body80valid

simplify99.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
04714
111013
233513
3105913
4344213
5500113

prune15.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 10.7b

Counts
2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* y z) (* t a))
4.1b
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
4.6b
(* b (- (* c z) (* i a)))
5.2b
(* x (- (* y z) (* t a)))

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
720×prod-diff
653×add-sqr-sqrt
395×*-un-lft-identity
385×associate-*r*
381×associate-*l*
371×add-cube-cbrt
292×distribute-rgt-in distribute-lft-in
135×unswap-sqr
123×*-commutative
12×fma-neg distribute-lft-out-- difference-of-squares
8×pow1 add-exp-log add-cbrt-cube
6×add-log-exp
5×sub-neg
4×expm1-log1p-u associate-*r/ log1p-expm1-u
3×flip3-- flip--
2×pow-prod-down prod-exp cbrt-unprod
1×diff-log fma-udef
Counts
4 → 832
Calls
4 calls:
17.0ms
(- (* y z) (* t a))
1.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
31.0ms
(* b (- (* c z) (* i a)))
28.0ms
(* x (- (* y z) (* t a)))

series806.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(- (* y z) (* t a))
605.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
76.0ms
(* b (- (* c z) (* i a)))
83.0ms
(* x (- (* y z) (* t a)))

simplify161.0ms

Algorithm
egg-herbie
Counts
844 → 844
Iterations

Useful iterations: 1 (40.0ms)

IterNodesCost
0175013531
150029255

prune1.1s

Filtered
844 candidates to 157 candidates (18.6%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New82915844
Fresh101
Picked101
Done000
Total83115846

Merged error: 4.0b

Counts
846 → 15

localize36.0ms

Local error

Found 4 expressions with local error:

4.1b
(fma (- (* c t) (* i y)) j (- (+ (* x (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
4.6b
(* b (- (* c z) (* i a)))
5.2b
(* x (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
50.2b
(fma (- a) t (* a t))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
288×prod-diff
264×add-sqr-sqrt
160×*-un-lft-identity
158×associate-*r*
154×associate-*l*
152×add-cube-cbrt
147×distribute-rgt-in distribute-lft-in
54×unswap-sqr
50×*-commutative
8×pow1 add-exp-log add-cbrt-cube
4×expm1-log1p-u fma-udef log1p-expm1-u distribute-lft-out-- add-log-exp difference-of-squares
2×sub-neg associate-*r/ pow-prod-down prod-exp cbrt-unprod
1×flip3-- flip--
Counts
4 → 364
Calls
4 calls:
1.0ms
(fma (- (* c t) (* i y)) j (- (+ (* x (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
28.0ms
(* b (- (* c z) (* i a)))
4.0ms
(* x (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
1.0ms
(fma (- a) t (* a t))

series4.1s

Counts
4 → 12
Calls
4 calls:
3.9s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
68.0ms
(* b (- (* c z) (* i a)))
184.0ms
(* x (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
35.0ms
(fma (- a) t (* a t))

simplify135.0ms

Algorithm
egg-herbie
Counts
376 → 376
Iterations

Useful iterations: 2 (78.0ms)

IterNodesCost
010096057
134084262
250023973

prune633.0ms

Filtered
376 candidates to 77 candidates (20.5%)
Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New3733376
Fresh31114
Picked011
Done000
Total37615391

Merged error: 4.0b

Counts
391 → 15

localize41.0ms

Local error

Found 4 expressions with local error:

6.2b
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
6.2b
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
6.2b
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
50.2b
(fma (- a) t (* a t))

rewrite6.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 (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
1.0ms
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
1.0ms
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
1.0ms
(fma (- a) t (* a t))

series888.0ms

Counts
4 → 12
Calls
4 calls:
217.0ms
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
420.0ms
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
223.0ms
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
28.0ms
(fma (- a) t (* a t))

simplify120.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 4 (113.0ms)

IterNodesCost
0148692
1342628
21027610
33337599
45001581

prune525.0ms

Filtered
61 candidates to 59 candidates (96.7%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New59261
Fresh21113
Picked101
Done011
Total621476

Merged error: 4.0b

Counts
76 → 14

localize40.0ms

Local error

Found 4 expressions with local error:

6.2b
(cbrt (fma y (pow (cbrt z) 3) (- (* a t))))
6.2b
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
6.2b
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
50.2b
(fma (- a) t (* a t))

rewrite6.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 (fma y (pow (cbrt z) 3) (- (* a t))))
1.0ms
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
1.0ms
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
1.0ms
(fma (- a) t (* a t))

series650.0ms

Counts
4 → 12
Calls
4 calls:
180.0ms
(cbrt (fma y (pow (cbrt z) 3) (- (* a t))))
222.0ms
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
217.0ms
(cbrt (fma (* y (* (cbrt z) (cbrt z))) (cbrt z) (- (* a t))))
31.0ms
(fma (- a) t (* a t))

simplify52.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 3 (45.0ms)

IterNodesCost
0172638
1411484
21400460
35001452

prune555.0ms

Filtered
61 candidates to 59 candidates (96.7%)
Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New60161
Fresh11112
Picked011
Done011
Total611475

Merged error: 4.0b

Counts
75 → 14

regimes900.0ms

Accuracy

2.7% (6.6b remaining)

Error of 12.1b against oracle of 5.5b and baseline of 12.3b

bsearch107.0ms

Steps
ItersRangePoint
7
2.384420810269393e+184
8.05149771878197e+185
1.4691275355982526e+185

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05630
15830
25830

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.2s18952×body80valid