Details

Time bar (total: 6.3s)

sample42.0ms

Algorithm
intervals
Results
17.0ms284×body80valid

simplify60.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
06211
113211
237710
3110510
4359910
5500110

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.7b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.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 (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
0.0ms
(fma (fma (fma z 3.13060547623 11.1667541262) z t) z a)
4.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)

series862.0ms

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

simplify105.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 3 (97.0ms)

IterNodesCost
0275593
1860532
23603522
35001520

prune406.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 2 expressions with local error:

5.2b
(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
7.5b
(/ t (pow z 2))

rewrite13.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:
0.0ms
(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
11.0ms
(/ t (pow z 2))

series66.0ms

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

simplify112.0ms

Algorithm
egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0191332
1664290
23660281
35001281

prune188.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 4 expressions with local error:

7.5b
(/ t (pow z 2))
11.3b
(cbrt (fma y (+ 3.13060547623 (/ t (pow z 2))) x))
11.3b
(cbrt (fma y (+ 3.13060547623 (/ t (pow z 2))) x))
11.3b
(cbrt (fma y (+ 3.13060547623 (/ t (pow z 2))) x))

rewrite12.0ms

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

series866.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ t (pow z 2))
285.0ms
(cbrt (fma y (+ 3.13060547623 (/ t (pow z 2))) x))
280.0ms
(cbrt (fma y (+ 3.13060547623 (/ t (pow z 2))) x))
280.0ms
(cbrt (fma y (+ 3.13060547623 (/ t (pow z 2))) x))

simplify41.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
0281682
1935622
25001601

prune376.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
0.1b
(fma (fma (fma z 3.13060547623 11.1667541262) z t) z a)
2.1b
(* y (/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
27.4b
(fma (* y (/ 1 (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)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
13×add-exp-log *-un-lft-identity associate-*r*
12×add-cube-cbrt
11×times-frac
9×add-cbrt-cube
6×pow1
4×expm1-log1p-u prod-exp log1p-expm1-u add-log-exp
3×associate-*l* fma-udef unswap-sqr
2×div-exp cbrt-unprod
1×cbrt-undiv rec-exp 1-exp associate-*r/ pow-prod-down un-div-inv *-commutative div-inv
Counts
4 → 68
Calls
4 calls:
0.0ms
(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
0.0ms
(fma (fma (fma z 3.13060547623 11.1667541262) z t) z a)
14.0ms
(* y (/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
0.0ms
(fma (* y (/ 1 (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)

series881.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
54.0ms
(fma (fma (fma z 3.13060547623 11.1667541262) z t) z a)
104.0ms
(* y (/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
674.0ms
(fma (* y (/ 1 (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)

simplify52.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0367653
11464563
25001541

prune388.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.1b

regimes722.0ms

Accuracy

98% (0.6b remaining)

Error of 0.9b against oracle of 0.4b and baseline of 27.7b

bsearch4.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06256
16256

end0.0ms

sample969.0ms

Algorithm
intervals
Results
543.0ms8845×body80valid