Details

Time bar (total: 3.6m)

sample81.0ms

Algorithm
intervals
Results
28.0ms195×body80valid
10.0ms21×body640valid
10.0ms256×pre80true
8.0ms14×body1280valid
7.0ms20×body320valid
1.0ms6×body160valid

simplify154.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
153.0ms
(/ (+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0) 2.0)

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.5b

localize30.0ms

Local error

Found 4 expressions with local error:

20.4b
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
2.4b
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.1b
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
0.0b
(+ (+ alpha beta) (* 2 i))

rewrite889.0ms

Algorithm
rewrite-expression-head
Rules
102×times-frac
87×*-un-lft-identity
46×fma-def
45×add-sqr-sqrt add-cube-cbrt
24×associate-/r/
21×distribute-lft-out
18×add-cbrt-cube add-exp-log
17×flip3-+ flip-+
12×div-inv
11×add-log-exp
10×associate-/l*
9×associate-/l/
7×cbrt-undiv associate-/r* div-exp
4×expm1-log1p-u frac-times pow1 sum-log insert-posit16 log1p-expm1-u
3×flip3-- flip--
2×+-commutative clear-num frac-2neg associate-*l/ prod-exp associate-*r/ cbrt-unprod
1×associate-+l+
Counts
4 → 182
Calls
4 calls:
Slowest
613.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
180.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
46.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
45.0ms
(+ (+ alpha beta) (* 2 i))

series802.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
376.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
311.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
90.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
26.0ms
(+ (+ alpha beta) (* 2 i))

simplify34.1s

Counts
176 → 194
Calls
176 calls:
Slowest
1.0s
(/ (* (* (* (+ alpha beta) (- beta alpha)) (* (+ alpha beta) (- beta alpha))) (* (+ alpha beta) (- beta alpha))) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i))))
815.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
730.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
680.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
674.0ms
(/ (* (* (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))) (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))) (* (* (+ (+ (+ alpha beta) (* 2 i)) 2.0) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

prune2.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.5b

localize41.0ms

Local error

Found 4 expressions with local error:

3.6b
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)
1.6b
(* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))))
0.1b
(/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))
0.0b
(/ (- beta alpha) (fma i 2 (+ alpha beta)))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
305×times-frac
278×*-un-lft-identity
207×add-sqr-sqrt
136×add-cube-cbrt
82×associate-*r*
40×distribute-lft-out
31×distribute-lft-out-- difference-of-squares
24×associate-/l*
20×add-cbrt-cube add-exp-log
12×div-inv
7×cbrt-undiv associate-/r* div-exp
6×pow1 add-log-exp
5×flip3-+ flip-+
4×expm1-log1p-u associate-*l* associate-/r/ insert-posit16 log1p-expm1-u
3×div-sub prod-exp cbrt-unprod unswap-sqr associate-/l/
2×frac-times clear-num frac-2neg associate-*l/
1×+-commutative sum-log fma-def flip3-- pow-prod-down associate-*r/ *-commutative flip--
Counts
4 → 288
Calls
4 calls:
Slowest
53.0ms
(* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))))
26.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)
18.0ms
(/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))
12.0ms
(/ (- beta alpha) (fma i 2 (+ alpha beta)))

series913.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
334.0ms
(* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))))
232.0ms
(/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))
228.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)
118.0ms
(/ (- beta alpha) (fma i 2 (+ alpha beta)))

simplify54.6s

Counts
341 → 300
Calls
341 calls:
Slowest
931.0ms
(/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (fma i 2 (+ alpha beta))))
692.0ms
(* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (/ (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (fma i 2 (+ alpha beta)))) (* (* (+ 2.0 (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))) (+ 2.0 (fma i 2 (+ alpha beta))))))
602.0ms
(* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (/ (* (* (/ (- beta alpha) (fma i 2 (+ alpha beta))) (/ (- beta alpha) (fma i 2 (+ alpha beta)))) (/ (- beta alpha) (fma i 2 (+ alpha beta)))) (* (* (+ 2.0 (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))) (+ 2.0 (fma i 2 (+ alpha beta))))))
535.0ms
(/ (/ (- beta alpha) (sqrt (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))
515.0ms
(+ (* 2.0 2.0) (- (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (* 2.0 (fma i 2 (+ alpha beta)))))

prune3.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.5b

localize47.0ms

Local error

Found 4 expressions with local error:

3.6b
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)
2.9b
(log (+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0))
1.6b
(* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))))
0.2b
(exp (log (+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
139×times-frac
128×*-un-lft-identity
97×add-sqr-sqrt
82×associate-*r*
64×add-cube-cbrt
20×distribute-lft-out
14×add-exp-log
13×add-cbrt-cube
12×distribute-lft-out-- difference-of-squares
8×pow1
6×log-prod flip3-+ flip-+ add-log-exp
5×div-inv
4×expm1-log1p-u log-div exp-prod associate-*l* insert-posit16 log1p-expm1-u
3×cbrt-undiv div-exp exp-sum prod-exp cbrt-unprod unswap-sqr
2×frac-times exp-diff associate-*l/ associate-/r/ log-pow
1×+-commutative sum-log fma-def rem-log-exp pow-prod-down associate-*r/ *-commutative rem-exp-log
Counts
4 → 164
Calls
4 calls:
Slowest
73.0ms
(* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))))
25.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)
19.0ms
(exp (log (+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)))
15.0ms
(log (+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
420.0ms
(log (+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0))
376.0ms
(* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))))
264.0ms
(+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)
222.0ms
(exp (log (+ (* (+ beta alpha) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta))))) 1.0)))

simplify30.2s

Counts
134 → 176
Calls
134 calls:
Slowest
857.0ms
(+ (* 2.0 2.0) (- (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (* 2.0 (fma i 2 (+ alpha beta)))))
715.0ms
(* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (/ (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (fma i 2 (+ alpha beta)))) (* (* (+ 2.0 (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))) (+ 2.0 (fma i 2 (+ alpha beta))))))
653.0ms
(* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (/ (* (* (/ (- beta alpha) (fma i 2 (+ alpha beta))) (/ (- beta alpha) (fma i 2 (+ alpha beta)))) (/ (- beta alpha) (fma i 2 (+ alpha beta)))) (* (* (+ 2.0 (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))) (+ 2.0 (fma i 2 (+ alpha beta))))))
456.0ms
(* (- (* beta beta) (* alpha alpha)) (/ (/ (- beta alpha) (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))))
440.0ms
(/ (/ (- beta alpha) (cbrt (fma i 2 (+ alpha beta)))) (+ 2.0 (fma i 2 (+ alpha beta))))

prune2.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 6.5b

localize70.0ms

Local error

Found 4 expressions with local error:

5.0b
(+ (* (* (+ beta alpha) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))) 1.0)
2.0b
(* (* (+ beta alpha) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))
0.6b
(cbrt (+ 2.0 (fma i 2 (+ alpha beta))))
0.6b
(cbrt (+ 2.0 (fma i 2 (+ alpha beta))))

rewrite593.0ms

Algorithm
rewrite-expression-head
Rules
364×times-frac
270×*-un-lft-identity
225×cbrt-prod
214×add-exp-log
210×add-sqr-sqrt
202×associate-*r*
168×add-cube-cbrt
96×prod-exp
90×div-exp
88×add-cbrt-cube
60×cbrt-unprod
54×cbrt-undiv
30×distribute-lft-out
21×distribute-lft-out-- difference-of-squares
12×1-exp
9×frac-times pow1 associate-*l/
8×flip3-+ flip-+ div-inv
6×cbrt-div add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×pow-prod-down associate-*r/
2×pow1/3 associate-/r/
1×+-commutative sum-log fma-def associate-*l* *-commutative
Counts
4 → 336
Calls
4 calls:
Slowest
325.0ms
(* (* (+ beta alpha) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))
242.0ms
(+ (* (* (+ beta alpha) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))) 1.0)
5.0ms
(cbrt (+ 2.0 (fma i 2 (+ alpha beta))))
5.0ms
(cbrt (+ 2.0 (fma i 2 (+ alpha beta))))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
340.0ms
(* (* (+ beta alpha) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))
307.0ms
(cbrt (+ 2.0 (fma i 2 (+ alpha beta))))
293.0ms
(cbrt (+ 2.0 (fma i 2 (+ alpha beta))))
250.0ms
(+ (* (* (+ beta alpha) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))) 1.0)

simplify1.2m

Counts
307 → 348
Calls
307 calls:
Slowest
1.6s
(* (* (* (* (+ beta alpha) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))) (* (+ beta alpha) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))))) (* (+ beta alpha) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))))) (* (* (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))))
1.4s
(* (* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (* (* (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))))) (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) 1) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))))) (* (* (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))))
1.2s
(* (* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (/ (/ (* (* (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (* (cbrt (- beta alpha)) (cbrt (- beta alpha)))) (* (cbrt (- beta alpha)) (cbrt (- beta alpha)))) (* (* 1 1) 1)) (* (* (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))))) (/ (/ (- beta alpha) (* (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (fma i 2 (+ alpha beta)))) (+ 2.0 (fma i 2 (+ alpha beta)))))
1.2s
(* (* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (/ (/ (* (* (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (* (cbrt (- beta alpha)) (cbrt (- beta alpha)))) (* (cbrt (- beta alpha)) (cbrt (- beta alpha)))) (* (* 1 1) 1)) (* (* (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))) (* (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))))) (* (* (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))) (/ (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (cbrt (+ 2.0 (fma i 2 (+ alpha beta)))))))
1.1s
(* (* (* (* (+ beta alpha) (+ beta alpha)) (+ beta alpha)) (/ (/ (* (* (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (* (cbrt (- beta alpha)) (cbrt (- beta alpha)))) (* (cbrt (- beta alpha)) (cbrt (- beta alpha)))) (* (* 1 1) 1)) (* (+ 2.0 (fma i 2 (+ alpha beta))) (+ 2.0 (fma i 2 (+ alpha beta)))))) (/ (* (* (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta))) (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta)))) (/ (cbrt (- beta alpha)) (fma i 2 (+ alpha beta)))) (+ 2.0 (fma i 2 (+ alpha beta)))))

prune6.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.5b

regimes495.0ms

Accuracy

6% (6.4b remaining)

Error of 12.4b against oracle of 6.0b and baseline of 12.8b

bsearch385.0ms

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.1s6307×body80valid
905.0ms533×body1280valid
441.0ms8000×pre80true
388.0ms565×body640valid
213.0ms403×body320valid
57.0ms192×body160valid