Details

Time bar (total: 4.8s)

sample45.0ms

Algorithm
intervals
Results
24.0ms389×body80valid

simplify144.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 6 (142.0ms)

IterNodesCost
0389
11039
23279
39219
419969
548419
650018

prune10.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: 8.2b

Counts
2 → 2

localize14.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)
5.1b
(/ (* t a) c)
9.3b
(/ (fma x (* 9.0 y) b) (* z c))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
14×add-exp-log add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×times-frac
4×pow1 cbrt-undiv expm1-log1p-u div-exp associate-/r* log1p-expm1-u associate-/l* add-log-exp
2×frac-2neg prod-exp clear-num cbrt-unprod fma-udef div-inv
Counts
4 → 66
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)
5.0ms
(/ (* t a) c)
4.0ms
(/ (fma x (* 9.0 y) b) (* z c))

series303.0ms

Counts
4 → 12
Calls
4 calls:
200.0ms
(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
30.0ms
(fma x (* 9.0 y) b)
18.0ms
(/ (* t a) c)
54.0ms
(/ (fma x (* 9.0 y) b) (* z c))

simplify34.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0284424
11137356
25001355

prune282.0ms

Filtered
78 candidates to 62 candidates (79.5%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New651378
Fresh011
Picked101
Done000
Total661480

Merged error: 3.2b

Counts
80 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (- 4.0) (* (* t a) (/ 1 c)) (/ (fma x (* 9.0 y) b) (* z c)))
0.1b
(fma x (* 9.0 y) b)
5.1b
(* (* t a) (/ 1 c))
9.3b
(/ (fma x (* 9.0 y) b) (* z c))

rewrite16.0ms

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

series310.0ms

Counts
4 → 12
Calls
4 calls:
203.0ms
(fma (- 4.0) (* (* t a) (/ 1 c)) (/ (fma x (* 9.0 y) b) (* z c)))
31.0ms
(fma x (* 9.0 y) b)
19.0ms
(* (* t a) (/ 1 c))
57.0ms
(/ (fma x (* 9.0 y) b) (* z c))

simplify49.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0416536
11905437
25001423

prune284.0ms

Filtered
95 candidates to 64 candidates (67.4%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New94195
Fresh11213
Picked101
Done000
Total9613109

Merged error: 3.2b

Counts
109 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma x (* 9.0 y) b)
0.9b
(/ 1 (/ c (* t a)))
4.9b
(/ c (* t a))
9.3b
(/ (fma x (* 9.0 y) b) (* z c))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
35×add-exp-log
24×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
23×add-cbrt-cube
16×div-exp
9×cbrt-undiv associate-/r* associate-/l*
7×div-inv
5×pow1 prod-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×rec-exp frac-2neg 1-exp clear-num cbrt-unprod
1×pow-flip associate-/r/ fma-udef inv-pow
Counts
4 → 114
Calls
4 calls:
1.0ms
(fma x (* 9.0 y) b)
6.0ms
(/ 1 (/ c (* t a)))
4.0ms
(/ c (* t a))
4.0ms
(/ (fma x (* 9.0 y) b) (* z c))

series124.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(fma x (* 9.0 y) b)
20.0ms
(/ 1 (/ c (* t a)))
23.0ms
(/ c (* t a))
51.0ms
(/ (fma x (* 9.0 y) b) (* z c))

simplify47.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0411625
11795524
25001485

prune311.0ms

Filtered
126 candidates to 75 candidates (59.5%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1251126
Fresh01212
Picked101
Done000
Total12613139

Merged error: 3.2b

Counts
139 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma x (* 9.0 y) b)
0.5b
(/ 1 (/ (* z c) (fma x (* 9.0 y) b)))
5.1b
(/ (* t a) c)
9.3b
(/ (* z c) (fma x (* 9.0 y) b))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
35×add-exp-log
24×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
23×add-cbrt-cube
16×div-exp
13×associate-/r*
9×cbrt-undiv
7×div-inv
5×pow1 prod-exp associate-/l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×rec-exp frac-2neg 1-exp clear-num cbrt-unprod
1×pow-flip associate-/r/ fma-udef inv-pow
Counts
4 → 114
Calls
4 calls:
1.0ms
(fma x (* 9.0 y) b)
6.0ms
(/ 1 (/ (* z c) (fma x (* 9.0 y) b)))
4.0ms
(/ (* t a) c)
4.0ms
(/ (* z c) (fma x (* 9.0 y) b))

series175.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(fma x (* 9.0 y) b)
69.0ms
(/ 1 (/ (* z c) (fma x (* 9.0 y) b)))
19.0ms
(/ (* t a) c)
56.0ms
(/ (* z c) (fma x (* 9.0 y) b))

simplify56.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0424799
12085685
25001652

prune294.0ms

Filtered
126 candidates to 76 candidates (60.3%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1233126
Fresh21012
Picked101
Done000
Total12613139

Merged error: 3.2b

Counts
139 → 13

regimes824.0ms

Accuracy

46.9% (4.5b remaining)

Error of 8.3b against oracle of 3.9b and baseline of 12.3b

bsearch141.0ms

Steps
ItersRangePoint
10
1.8731059256079885e+35
3.276053972216799e+45
1.0732182795890566e+43
5
-1.3641816423637718e-55
-3.7282484944343942e-56
-8.706132737171698e-56

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03716
13716

end0.0ms

sample1.2s

Algorithm
intervals
Results
723.0ms12710×body80valid