Details

Time bar (total: 6.1s)

sample43.0ms

Algorithm
intervals
Results
19.0ms280×body80valid

simplify60.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
06211
113211
237710
3110510
4359910
5500110

prune15.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: 29.4b

Counts
2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
0.1b
(fma (fma z 3.13060547623 11.1667541262) z t)
2.7b
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
28.8b
(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* fma-udef associate-/l*
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 59
Calls
4 calls:
1.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
3.0ms
(fma (fma z 3.13060547623 11.1667541262) z t)
3.0ms
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
1.0ms
(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

series923.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
33.0ms
(fma (fma z 3.13060547623 11.1667541262) z t)
116.0ms
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
736.0ms
(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

simplify110.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (101.0ms)

IterNodesCost
0269563
1827501
23522493
35002491

prune314.0ms

Filtered
71 candidates to 60 candidates (15.5%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New67471
Fresh011
Picked101
Done000
Total68573

Merged error: 0.0b

Counts
73 → 5

localize8.0ms

Local error

Found 2 expressions with local error:

1.7b
(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
7.2b
(/ t (pow z 2))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
19×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×unpow-prod-down
8×associate-/r*
7×add-exp-log
4×add-cbrt-cube unpow2 sqr-pow
3×div-exp associate-/l*
2×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
1×cbrt-undiv pow-to-exp frac-2neg pow-exp clear-num fma-udef div-inv
Counts
2 → 61
Calls
2 calls:
1.0ms
(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
5.0ms
(/ t (pow z 2))

series79.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
26.0ms
(/ t (pow z 2))

simplify114.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
0191332
1664290
23642281
35001281

prune135.0ms

Filtered
67 candidates to 44 candidates (34.3%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New64367
Fresh044
Picked101
Done000
Total65772

Merged error: 0.0b

Counts
72 → 7

localize10.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (/ t z) (pow z (/ 2 2)))
1.7b
(fma y (+ 3.13060547623 (/ (/ t z) (pow z (/ 2 2)))) x)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
163×times-frac
88×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
42×unpow-prod-down
16×associate-/l*
15×add-exp-log
14×sqr-pow
10×associate-/r*
9×div-exp div-inv associate-/l/
7×add-cbrt-cube
3×cbrt-undiv
2×pow1 expm1-log1p-u pow-to-exp frac-2neg pow-exp clear-num log1p-expm1-u add-log-exp
1×fma-udef
Counts
2 → 150
Calls
2 calls:
11.0ms
(/ (/ t z) (pow z (/ 2 2)))
1.0ms
(fma y (+ 3.13060547623 (/ (/ t z) (pow z (/ 2 2)))) x)

series82.0ms

Counts
2 → 6
Calls
2 calls:
24.0ms
(/ (/ t z) (pow z (/ 2 2)))
58.0ms
(fma y (+ 3.13060547623 (/ (/ t z) (pow z (/ 2 2)))) x)

simplify68.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
06071024
12336891
25001888

prune210.0ms

Filtered
156 candidates to 73 candidates (53.2%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1551156
Fresh156
Picked011
Done000
Total1567163

Merged error: 0.0b

Counts
163 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
1.0b
(/ 1 (* (cbrt z) z))
1.7b
(fma y (+ 3.13060547623 (* (/ t (pow (cbrt z) 2)) (/ 1 (* (cbrt z) z)))) x)
2.2b
(* (/ t (pow (cbrt z) 2)) (/ 1 (* (cbrt z) z)))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
557×associate-/r*
517×add-sqr-sqrt
374×frac-times
289×*-un-lft-identity
270×add-cube-cbrt
200×cbrt-prod times-frac
187×associate-*l*
170×unpow-prod-down
127×associate-*r* associate-/l*
116×unswap-sqr
105×add-exp-log
43×prod-exp clear-num
42×frac-2neg
41×div-exp
39×add-cbrt-cube
33×unpow2 sqr-pow
26×*-commutative
22×associate-*r/
17×associate-*l/
14×cbrt-unprod
13×cbrt-undiv
10×pow1 rec-exp 1-exp
7×pow-to-exp pow-exp
4×expm1-log1p-u pow-flip log1p-expm1-u add-log-exp
3×pow1/3 un-div-inv div-inv
2×pow-prod-down
1×pow-plus pow-prod-up fma-udef inv-pow
Counts
4 → 710
Calls
4 calls:
1.0ms
(cbrt z)
13.0ms
(/ 1 (* (cbrt z) z))
1.0ms
(fma y (+ 3.13060547623 (* (/ t (pow (cbrt z) 2)) (/ 1 (* (cbrt z) z)))) x)
58.0ms
(* (/ t (pow (cbrt z) 2)) (/ 1 (* (cbrt z) z)))

series560.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(cbrt z)
230.0ms
(/ 1 (* (cbrt z) z))
87.0ms
(fma y (+ 3.13060547623 (* (/ t (pow (cbrt z) 2)) (/ 1 (* (cbrt z) z)))) x)
60.0ms
(* (/ t (pow (cbrt z) 2)) (/ 1 (* (cbrt z) z)))

simplify138.0ms

Algorithm
egg-herbie
Counts
722 → 722
Iterations

Useful iterations: 1 (60.0ms)

IterNodesCost
029046906
150016257

prune1.3s

Filtered
722 candidates to 401 candidates (44.5%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New7220722
Fresh055
Picked011
Done011
Total7227729

Merged error: 0.0b

Counts
729 → 7

regimes645.0ms

Accuracy

96.8% (0.8b remaining)

Error of 1.2b against oracle of 0.3b and baseline of 27.0b

bsearch181.0ms

Steps
ItersRangePoint
4
56013586448040.74
93988328089074.5
92353018733741.45
8
-1.0136095279104486e+47
-1.0208429830464386e+44
-1.2465480728170563e+44

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04516
14716
24716

end0.0ms

sample914.0ms

Algorithm
intervals
Results
608.0ms8899×body80valid