Details

Time bar (total: 11.9s)

sample48.0ms

Algorithm
intervals
Results
23.0ms256×body80valid

simplify111.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
013286
161875
2334339
3500139

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.4b

localize47.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* x x) 4)
0.1b
(* (* x x) 0.0072644182)
17.1b
(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
26.0b
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

rewrite747.0ms

Algorithm
rewrite-expression-head
Rules
102×times-frac
63×add-sqr-sqrt
62×add-cube-cbrt *-un-lft-identity
31×associate-/r/
30×flip3-+ flip-+
24×associate-*r/ frac-add
22×associate-/r*
19×add-exp-log
17×pow1
16×add-cbrt-cube
6×pow-pow div-inv associate-/l/ associate-/l*
4×cbrt-undiv expm1-log1p-u div-exp pow-prod-down prod-exp log1p-expm1-u add-log-exp
3×pow-unpow associate-*r* cbrt-unprod
2×frac-2neg pow-exp clear-num
1×pow2 pow-to-exp unpow-prod-down pow-plus associate-*l* pow-sqr *-commutative pow-prod-up unswap-sqr sqr-pow
Counts
4 → 181
Calls
4 calls:
2.0ms
(pow (* x x) 4)
8.0ms
(* (* x x) 0.0072644182)
249.0ms
(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
479.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

series573.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(pow (* x x) 4)
29.0ms
(* (* x x) 0.0072644182)
289.0ms
(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
213.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

simplify110.0ms

Algorithm
egg-herbie
Counts
193 → 193
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
011629341
150028813

prune1.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

17.1b
(sqrt (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
17.1b
(/ x (* (sqrt (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))) (sqrt (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))))
26.0b
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
26.0b
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
31×times-frac
29×add-cube-cbrt *-un-lft-identity
25×flip3-+ flip-+
21×associate-*r/ associate-/r/
20×frac-add
19×sqrt-prod
13×add-exp-log add-cbrt-cube
12×associate-/l/
9×associate-/l*
7×associate-/r*
5×pow1 sqrt-div
4×cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u div-inv add-log-exp
3×frac-2neg clear-num
2×rem-sqrt-square
1×frac-times sqrt-pow1 pow1/2 associate-*l/ prod-exp cbrt-unprod
Counts
4 → 141
Calls
4 calls:
247.0ms
(sqrt (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
254.0ms
(/ x (* (sqrt (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))) (sqrt (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))))
476.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
492.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
298.0ms
(sqrt (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
286.0ms
(/ x (* (sqrt (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))) (sqrt (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))))
223.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
218.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma (* 0.1049934947 x) x 1.0)) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

simplify181.0ms

Algorithm
egg-herbie
Counts
153 → 153
Iterations

Useful iterations: 2 (103.0ms)

IterNodesCost
09209101
146757760
250017758

prune2.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* x x) 4)
0.2b
(/ 1 (fma (pow x 6) (fma x (* x 0.0140005442) 0.0694555761) (fma (fma (* 2.0 (pow x 2)) 0.0001789971 0.0008327945) (* x (* (pow (* x x) 3) (pow x 3))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0)))))
17.0b
(* x (* (/ 1 (fma (pow x 6) (fma x (* x 0.0140005442) 0.0694555761) (fma (fma (* 2.0 (pow x 2)) 0.0001789971 0.0008327945) (* x (* (pow (* x x) 3) (pow x 3))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))))) (fma (pow x 4) (fma x (* x 0.0072644182) 0.0424060604) (fma (fma x (* x 0.0001789971) 0.0005064034) (pow (* x x) 4) (fma (* 0.1049934947 x) x 1.0)))))
29.6b
(* (/ 1 (fma (pow x 6) (fma x (* x 0.0140005442) 0.0694555761) (fma (fma (* 2.0 (pow x 2)) 0.0001789971 0.0008327945) (* x (* (pow (* x x) 3) (pow x 3))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))))) (fma (pow x 4) (fma x (* x 0.0072644182) 0.0424060604) (fma (fma x (* x 0.0001789971) 0.0005064034) (pow (* x x) 4) (fma (* 0.1049934947 x) x 1.0))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
35×add-exp-log
29×add-sqr-sqrt
23×*-un-lft-identity
22×add-cube-cbrt
20×pow1 times-frac add-cbrt-cube
16×associate-*l*
14×prod-exp
7×cbrt-unprod
6×pow-pow div-exp fma-udef
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×cbrt-undiv rec-exp pow-unpow 1-exp associate-/r* associate-/l* unswap-sqr
2×associate-*l/ pow-exp *-commutative div-inv
1×pow2 pow-to-exp unpow-prod-down pow-flip frac-2neg pow-plus associate-*r/ clear-num pow-sqr pow-prod-up inv-pow sqr-pow
Counts
4 → 124
Calls
4 calls:
2.0ms
(pow (* x x) 4)
2.0ms
(/ 1 (fma (pow x 6) (fma x (* x 0.0140005442) 0.0694555761) (fma (fma (* 2.0 (pow x 2)) 0.0001789971 0.0008327945) (* x (* (pow (* x x) 3) (pow x 3))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0)))))
13.0ms
(* x (* (/ 1 (fma (pow x 6) (fma x (* x 0.0140005442) 0.0694555761) (fma (fma (* 2.0 (pow x 2)) 0.0001789971 0.0008327945) (* x (* (pow (* x x) 3) (pow x 3))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))))) (fma (pow x 4) (fma x (* x 0.0072644182) 0.0424060604) (fma (fma x (* x 0.0001789971) 0.0005064034) (pow (* x x) 4) (fma (* 0.1049934947 x) x 1.0)))))
11.0ms
(* (/ 1 (fma (pow x 6) (fma x (* x 0.0140005442) 0.0694555761) (fma (fma (* 2.0 (pow x 2)) 0.0001789971 0.0008327945) (* x (* (pow (* x x) 3) (pow x 3))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))))) (fma (pow x 4) (fma x (* x 0.0072644182) 0.0424060604) (fma (fma x (* x 0.0001789971) 0.0005064034) (pow (* x x) 4) (fma (* 0.1049934947 x) x 1.0))))

series682.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(pow (* x x) 4)
127.0ms
(/ 1 (fma (pow x 6) (fma x (* x 0.0140005442) 0.0694555761) (fma (fma (* 2.0 (pow x 2)) 0.0001789971 0.0008327945) (* x (* (pow (* x x) 3) (pow x 3))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0)))))
294.0ms
(* x (* (/ 1 (fma (pow x 6) (fma x (* x 0.0140005442) 0.0694555761) (fma (fma (* 2.0 (pow x 2)) 0.0001789971 0.0008327945) (* x (* (pow (* x x) 3) (pow x 3))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))))) (fma (pow x 4) (fma x (* x 0.0072644182) 0.0424060604) (fma (fma x (* x 0.0001789971) 0.0005064034) (pow (* x x) 4) (fma (* 0.1049934947 x) x 1.0)))))
212.0ms
(* (/ 1 (fma (pow x 6) (fma x (* x 0.0140005442) 0.0694555761) (fma (fma (* 2.0 (pow x 2)) 0.0001789971 0.0008327945) (* x (* (pow (* x x) 3) (pow x 3))) (fma (* 0.2909738639 x) (pow x 3) (fma (* 0.7715471019 x) x 1.0))))) (fma (pow x 4) (fma x (* x 0.0072644182) 0.0424060604) (fma (fma x (* x 0.0001789971) 0.0005064034) (pow (* x x) 4) (fma (* 0.1049934947 x) x 1.0))))

simplify96.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
05833838
124953257
250013156

prune980.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 0.2514179000665375 (/ 1 (pow x 3)) (fma 0.15298196345929327 (/ 1 (pow x 5)) (/ 0.5 x)))
0.0b
(fma 0.15298196345929327 (/ 1 (pow x 5)) (/ 0.5 x))
0.3b
(/ 1 (pow x 5))
0.4b
(/ 1 (pow x 3))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
57×times-frac
45×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
24×unpow-prod-down
22×add-exp-log
19×associate-/r*
12×cube-prod div-exp
8×add-cbrt-cube sqr-pow
6×pow-to-exp rec-exp 1-exp pow-exp associate-/l*
4×pow1 expm1-log1p-u cube-mult unpow3 log1p-expm1-u add-log-exp
2×cbrt-undiv pow-flip frac-2neg clear-num fma-udef div-inv inv-pow
Counts
4 → 150
Calls
4 calls:
0.0ms
(fma 0.2514179000665375 (/ 1 (pow x 3)) (fma 0.15298196345929327 (/ 1 (pow x 5)) (/ 0.5 x)))
0.0ms
(fma 0.15298196345929327 (/ 1 (pow x 5)) (/ 0.5 x))
4.0ms
(/ 1 (pow x 5))
5.0ms
(/ 1 (pow x 3))

series245.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(fma 0.2514179000665375 (/ 1 (pow x 3)) (fma 0.15298196345929327 (/ 1 (pow x 5)) (/ 0.5 x)))
117.0ms
(fma 0.15298196345929327 (/ 1 (pow x 5)) (/ 0.5 x))
42.0ms
(/ 1 (pow x 5))
36.0ms
(/ 1 (pow x 3))

simplify45.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0337768
11590603
25001603

prune246.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes52.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 29.0b

bsearch451.0ms

Steps
ItersRangePoint
10
13.582308112339199
112933556595576.11
682.7697806834718
8
-3802813.1226859456
-118.89002763209811
-1784.4475770590277

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09587
19587

end0.0ms

sample819.0ms

Algorithm
intervals
Results
718.0ms8000×body80valid