Details

Time bar (total: 6.3s)

sample44.0ms

Algorithm
intervals
Results
20.0ms419×body80valid

simplify211.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 6 (209.0ms)

IterNodesCost
0389
11039
23279
39219
419969
548419
650018

prune16.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 11.8b

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.0b
(/ (fma x (* 9.0 y) b) (* z c))

rewrite22.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)
7.0ms
(/ (* t a) c)
8.0ms
(/ (fma x (* 9.0 y) b) (* z c))

series382.0ms

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

simplify98.0ms

Algorithm
egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
05801090
123671022
250021021

prune488.0ms

Filtered
166 candidates to 131 candidates (21.1%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New15511166
Fresh011
Picked101
Done000
Total15612168

Merged error: 4.6b

Counts
168 → 12

localize30.0ms

Local error

Found 4 expressions with local error:

5.6b
(cbrt (fma x (* 9.0 y) b))
5.6b
(cbrt (fma x (* 9.0 y) b))
5.6b
(cbrt (fma x (* 9.0 y) b))
6.3b
(/ (* t a) c)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
36×times-frac
32×add-cube-cbrt *-un-lft-identity
12×associate-*r* associate-*l* associate-/l*
9×add-exp-log cbrt-prod add-cbrt-cube
4×pow1 expm1-log1p-u *-commutative log1p-expm1-u add-log-exp unswap-sqr
3×pow1/3 associate-/r*
2×cbrt-undiv div-exp
1×frac-2neg prod-exp clear-num cbrt-unprod div-inv
Counts
4 → 106
Calls
4 calls:
1.0ms
(cbrt (fma x (* 9.0 y) b))
1.0ms
(cbrt (fma x (* 9.0 y) b))
1.0ms
(cbrt (fma x (* 9.0 y) b))
8.0ms
(/ (* t a) c)

series573.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt (fma x (* 9.0 y) b))
187.0ms
(cbrt (fma x (* 9.0 y) b))
185.0ms
(cbrt (fma x (* 9.0 y) b))
24.0ms
(/ (* t a) c)

simplify79.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 2 (63.0ms)

IterNodesCost
0363637
11465598
25002592

prune505.0ms

Filtered
118 candidates to 100 candidates (15.3%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1180118
Fresh01111
Picked011
Done000
Total11812130

Merged error: 4.6b

Counts
130 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

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

series342.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(fma (- 4.0) (/ a (/ c t)) (/ (fma x (* 9.0 y) b) (* z c)))
38.0ms
(fma x (* 9.0 y) b)
25.0ms
(/ a (/ c t))
69.0ms
(/ (fma x (* 9.0 y) b) (* z c))

simplify91.0ms

Algorithm
egg-herbie
Counts
179 → 179
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
06431218
127031144
250011144

prune480.0ms

Filtered
179 candidates to 142 candidates (20.7%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1727179
Fresh7310
Picked101
Done011
Total18011191

Merged error: 3.9b

Counts
191 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma x (* 9.0 y) b)
4.1b
(/ (fma x (* 9.0 y) b) c)
4.2b
(/ (/ (fma x (* 9.0 y) b) c) z)
6.6b
(/ a (/ c t))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
159×times-frac
100×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
25×associate-/r* associate-/l*
16×add-exp-log add-cbrt-cube
11×div-inv
9×associate-/r/ associate-/l/
7×cbrt-undiv div-exp
5×frac-2neg clear-num
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
1×fma-udef
Counts
4 → 199
Calls
4 calls:
1.0ms
(fma x (* 9.0 y) b)
3.0ms
(/ (fma x (* 9.0 y) b) c)
7.0ms
(/ (/ (fma x (* 9.0 y) b) c) z)
7.0ms
(/ a (/ c t))

series184.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(fma x (* 9.0 y) b)
67.0ms
(/ (fma x (* 9.0 y) b) c)
61.0ms
(/ (/ (fma x (* 9.0 y) b) c) z)
23.0ms
(/ a (/ c t))

simplify97.0ms

Algorithm
egg-herbie
Counts
211 → 211
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
07181422
128301349
250021349

prune565.0ms

Filtered
211 candidates to 169 candidates (19.9%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New2074211
Fresh459
Picked101
Done011
Total21210222

Merged error: 3.9b

Counts
222 → 10

regimes725.0ms

Accuracy

56.3% (3.5b remaining)

Error of 6.9b against oracle of 3.5b and baseline of 11.4b

bsearch169.0ms

Steps
ItersRangePoint
9
4.4029984604648165e-39
3.573944660153776e-34
4.241171660608179e-37
7
-1.6431280744305711e+47
-8.086460557534145e+44
-1.1394805299673187e+46

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03416
13416

end0.0ms

sample1.1s

Algorithm
intervals
Results
619.0ms12605×body80valid