Details

Time bar (total: 8.7s)

sample70.0ms

Algorithm
intervals
Results
47.0ms285×body80valid

simplify74.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
06211
113211
237710
3110510
4359910
5500110

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.9b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b)
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))
27.5b
(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)

rewrite8.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:
0.0ms
(fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b)
0.0ms
(fma (fma z 3.13060547623 11.1667541262) z t)
2.0ms
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
0.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)

series1.1s

Counts
4 → 12
Calls
4 calls:
104.0ms
(fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b)
38.0ms
(fma (fma z 3.13060547623 11.1667541262) z t)
127.0ms
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
802.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)

simplify126.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (117.0ms)

IterNodesCost
0269578
1828514
23590508
35001504

prune441.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
0.0b
(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
2.7b
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
9.0b
(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma a z b) x)

rewrite5.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:
0.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
0.0ms
(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
2.0ms
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
0.0ms
(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma a z b) x)

series649.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
58.0ms
(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
133.0ms
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
412.0ms
(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma a z b) x)

simplify125.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (116.0ms)

IterNodesCost
0265555
1845501
23586491
35001488

prune339.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

5.2b
(/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
9.0b
(fma (/ (/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (fma a z b) x)
9.8b
(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
9.8b
(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))

rewrite7.0ms

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

series825.0ms

Counts
4 → 12
Calls
4 calls:
203.0ms
(/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
412.0ms
(fma (/ (/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (fma a z b) x)
101.0ms
(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
109.0ms
(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))

simplify143.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 3 (125.0ms)

IterNodesCost
0303943
1980851
24161828
35001826

prune426.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

9.0b
(fma (/ (/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (expm1 (log1p (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))))) (fma a z b) x)
9.8b
(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
9.8b
(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
15.6b
(log1p (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 add-cube-cbrt *-un-lft-identity sqrt-prod
5×expm1-log1p-u
4×add-exp-log add-cbrt-cube log1p-expm1-u add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2
1×log1p-udef log1p-expm1 fma-udef
Counts
4 → 51
Calls
4 calls:
0.0ms
(fma (/ (/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (expm1 (log1p (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))))) (fma a z b) x)
1.0ms
(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
1.0ms
(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
0.0ms
(log1p (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))

series1.5s

Counts
4 → 12
Calls
4 calls:
998.0ms
(fma (/ (/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (expm1 (log1p (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))))) (fma a z b) x)
118.0ms
(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
111.0ms
(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
224.0ms
(log1p (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))

simplify116.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 3 (106.0ms)

IterNodesCost
0261612
1844539
23552520
35001512

prune341.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes661.0ms

Accuracy

95% (1.1b remaining)

Error of 1.5b against oracle of 0.4b and baseline of 22.6b

bsearch4.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06256
16256

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.4s8883×body80valid