Details

Time bar (total: 5.7s)

sample40.0ms

Algorithm
intervals
Results
19.0ms291×body80valid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
06211
113211
237710
3110510
4359910
5500110

prune17.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: 26.2b

Counts
2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma z 3.13060547623 11.1667541262) z t)
0.1b
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
3.0b
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
25.7b
(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)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
3×fma-udef
1×frac-2neg clear-num div-inv
Counts
4 → 6
Calls
4 calls:
1.0ms
(fma (fma z 3.13060547623 11.1667541262) z t)
1.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
2.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)

series863.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(fma (fma z 3.13060547623 11.1667541262) z t)
36.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
110.0ms
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
689.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)

simplify44.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 3 (41.0ms)

IterNodesCost
016494
145287
2133779
3500277

prune88.0ms

Filtered
18 candidates to 12 candidates (66.7%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New13518
Fresh011
Picked101
Done000
Total14620

Merged error: 0.3b

Counts
20 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
0.3b
(/ 1 (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y))
2.8b
(/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)
25.7b
(fma (/ 1 (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
4×clear-num
3×frac-2neg associate-/r/ div-inv
2×fma-udef
1×associate-/r* remove-double-div inv-pow
Counts
4 → 14
Calls
4 calls:
1.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
3.0ms
(/ 1 (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y))
2.0ms
(/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)
1.0ms
(fma (/ 1 (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

series615.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
88.0ms
(/ 1 (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y))
90.0ms
(/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)
397.0ms
(fma (/ 1 (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

simplify78.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 3 (74.0ms)

IterNodesCost
0197136
1573131
22519123
35002121

prune129.0ms

Filtered
26 candidates to 17 candidates (65.4%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New23326
Fresh055
Picked101
Done000
Total24832

Merged error: 0.3b

Counts
32 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma z 3.13060547623 11.1667541262) z t)
0.1b
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
2.8b
(/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)
26.2b
(/ (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
3×frac-2neg clear-num associate-/r/ div-inv
2×fma-udef
1×associate-/r*
Counts
4 → 12
Calls
4 calls:
1.0ms
(fma (fma z 3.13060547623 11.1667541262) z t)
1.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
2.0ms
(/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)
3.0ms
(/ (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y))

series439.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(fma (fma z 3.13060547623 11.1667541262) z t)
35.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
89.0ms
(/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)
287.0ms
(/ (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y))

simplify51.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 3 (47.0ms)

IterNodesCost
0194150
1517138
21667134
35001129

prune128.0ms

Filtered
24 candidates to 17 candidates (70.8%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New22224
Fresh077
Picked011
Done000
Total221032

Merged error: 0.3b

Counts
32 → 10

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
0.3b
(/ 1 (* (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) (/ 1 y)))
3.0b
(* (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) (/ 1 y))
25.7b
(fma (/ 1 (* (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) (/ 1 y))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-*r/
5×clear-num associate-/r/
4×un-div-inv
3×frac-2neg associate-/r* div-inv
2×associate-*r* *-commutative fma-udef
1×inv-pow
Counts
4 → 21
Calls
4 calls:
1.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
4.0ms
(/ 1 (* (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) (/ 1 y)))
3.0ms
(* (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) (/ 1 y))
1.0ms
(fma (/ 1 (* (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) (/ 1 y))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

series617.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
89.0ms
(/ 1 (* (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) (/ 1 y)))
91.0ms
(* (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) (/ 1 y))
402.0ms
(fma (/ 1 (* (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) (/ 1 y))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

simplify134.0ms

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 3 (131.0ms)

IterNodesCost
0207164
1765157
24267149
35001144

prune107.0ms

Filtered
33 candidates to 18 candidates (54.5%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New33033
Fresh088
Picked011
Done011
Total331043

Merged error: 0.3b

Counts
43 → 10

regimes953.0ms

Accuracy

97.3% (0.8b remaining)

Error of 1.1b against oracle of 0.3b and baseline of 28.4b

bsearch290.0ms

Steps
ItersRangePoint
9
4.831806186156155e+25
5.758543493360515e+30
1.1043921593512465e+28
11
-7.365400317277268e+81
-6.170545344049798e+57
-1.5506775047095316e+58

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04621
14621

end0.0ms

sample911.0ms

Algorithm
intervals
Results
598.0ms8939×body80valid