Details

Time bar (total: 6.2s)

sample45.0ms

Algorithm
intervals
Results
23.0ms392×body80valid

simplify226.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 6 (224.0ms)

IterNodesCost
0389
11039
23279
39219
419969
548419
650018

prune12.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

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
0.1b
(fma x (* 9.0 y) b)
6.3b
(/ (* t a) c)
11.9b
(/ (fma x (* 9.0 y) b) (* z c))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
72×times-frac
70×add-sqr-sqrt
54×add-cube-cbrt *-un-lft-identity
24×associate-*r* associate-*l*
15×associate-/r* associate-/l*
14×add-exp-log add-cbrt-cube
8×*-commutative unswap-sqr
4×pow1 cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u add-log-exp
2×frac-2neg prod-exp clear-num cbrt-unprod fma-udef div-inv
Counts
4 → 154
Calls
4 calls:
1.0ms
(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
1.0ms
(fma x (* 9.0 y) b)
8.0ms
(/ (* t a) c)
8.0ms
(/ (fma x (* 9.0 y) b) (* z c))

series374.0ms

Counts
4 → 12
Calls
4 calls:
244.0ms
(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
40.0ms
(fma x (* 9.0 y) b)
22.0ms
(/ (* t a) c)
67.0ms
(/ (fma x (* 9.0 y) b) (* z c))

simplify107.0ms

Algorithm
egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 2 (90.0ms)

IterNodesCost
05801090
123671022
250021021

prune496.0ms

Filtered
166 candidates to 131 candidates (78.9%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New15511166
Fresh011
Picked101
Done000
Total15612168

Merged error: 2.9b

Counts
168 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma x (* 9.0 y) b)
2.7b
(/ (fma x (* 9.0 y) b) c)
3.8b
(/ (/ (fma x (* 9.0 y) b) c) z)
6.3b
(/ (* t a) c)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
120×times-frac
89×add-sqr-sqrt
81×add-cube-cbrt *-un-lft-identity
31×associate-/l*
16×add-exp-log add-cbrt-cube
12×associate-*r* associate-*l* associate-/r*
9×associate-/l/
7×div-inv
6×cbrt-undiv div-exp
4×pow1 expm1-log1p-u frac-2neg clear-num *-commutative log1p-expm1-u add-log-exp unswap-sqr
1×prod-exp cbrt-unprod fma-udef
Counts
4 → 186
Calls
4 calls:
1.0ms
(fma x (* 9.0 y) b)
3.0ms
(/ (fma x (* 9.0 y) b) c)
8.0ms
(/ (/ (fma x (* 9.0 y) b) c) z)
8.0ms
(/ (* t a) c)

series184.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(fma x (* 9.0 y) b)
65.0ms
(/ (fma x (* 9.0 y) b) c)
62.0ms
(/ (/ (fma x (* 9.0 y) b) c) z)
22.0ms
(/ (* t a) c)

simplify106.0ms

Algorithm
egg-herbie
Counts
198 → 198
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
06481290
124361222
250011222

prune585.0ms

Filtered
198 candidates to 159 candidates (80.3%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New1917198
Fresh6511
Picked101
Done000
Total19812210

Merged error: 2.9b

Counts
210 → 12

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma x (* 9.0 y) b)
2.7b
(/ (fma x (* 9.0 y) b) c)
3.8b
(/ (/ (fma x (* 9.0 y) b) c) z)
5.0b
(/ (* t 1) (/ c a))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
379×times-frac
240×add-sqr-sqrt
212×*-un-lft-identity
198×add-cube-cbrt
42×associate-*r* associate-*l*
35×associate-/l*
28×add-exp-log unswap-sqr
25×associate-/r*
23×add-cbrt-cube
21×div-inv
14×*-commutative
13×div-exp
10×cbrt-undiv
9×associate-/r/ associate-/l/
5×frac-2neg clear-num
4×pow1 expm1-log1p-u prod-exp log1p-expm1-u add-log-exp
2×1-exp cbrt-unprod
1×fma-udef
Counts
4 → 345
Calls
4 calls:
1.0ms
(fma x (* 9.0 y) b)
3.0ms
(/ (fma x (* 9.0 y) b) c)
8.0ms
(/ (/ (fma x (* 9.0 y) b) c) z)
13.0ms
(/ (* t 1) (/ c a))

series186.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(fma x (* 9.0 y) b)
65.0ms
(/ (fma x (* 9.0 y) b) c)
55.0ms
(/ (/ (fma x (* 9.0 y) b) c) z)
31.0ms
(/ (* t 1) (/ c a))

simplify90.0ms

Algorithm
egg-herbie
Counts
357 → 357
Iterations

Useful iterations: 1 (49.0ms)

IterNodesCost
013472628
150012411

prune752.0ms

Filtered
357 candidates to 197 candidates (55.2%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New3507357
Fresh8311
Picked101
Done000
Total35910369

Merged error: 2.4b

Counts
369 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(fma 9.0 (/ (* x y) c) (/ b c))
3.8b
(/ (fma 9.0 (/ (* x y) c) (/ b c)) z)
4.6b
(/ (* x y) c)
5.0b
(/ (* t 1) (/ c a))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
340×times-frac
229×add-sqr-sqrt
193×*-un-lft-identity
179×add-cube-cbrt
54×associate-*r* associate-*l*
32×unswap-sqr
31×associate-/l*
28×add-exp-log
23×add-cbrt-cube
22×associate-/r*
18×*-commutative
17×div-inv
12×div-exp
9×cbrt-undiv associate-/r/
5×prod-exp
4×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u add-log-exp
3×cbrt-unprod
2×1-exp
1×fma-udef
Counts
4 → 332
Calls
4 calls:
1.0ms
(fma 9.0 (/ (* x y) c) (/ b c))
3.0ms
(/ (fma 9.0 (/ (* x y) c) (/ b c)) z)
8.0ms
(/ (* x y) c)
18.0ms
(/ (* t 1) (/ c a))

series199.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(fma 9.0 (/ (* x y) c) (/ b c))
80.0ms
(/ (fma 9.0 (/ (* x y) c) (/ b c)) z)
29.0ms
(/ (* x y) c)
26.0ms
(/ (* t 1) (/ c a))

simplify90.0ms

Algorithm
egg-herbie
Counts
344 → 344
Iterations

Useful iterations: 1 (55.0ms)

IterNodesCost
013232379
150022168

prune713.0ms

Filtered
344 candidates to 183 candidates (53.2%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New3404344
Fresh369
Picked101
Done000
Total34410354

Merged error: 0.7b

Counts
354 → 10

regimes528.0ms

Accuracy

62% (3.5b remaining)

Error of 4.6b against oracle of 1.1b and baseline of 10.3b

bsearch111.0ms

Steps
ItersRangePoint
8
1.360790827813975e+29
1.5693899682697816e+32
1.376600657529797e+29
2
-9.424725047615398e+34
-8.194306557663795e+34
-8.920804957886574e+34

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04218
14618
24618

end0.0ms

sample1.2s

Algorithm
intervals
Results
680.0ms12793×body80valid