Details

Time bar (total: 5.2m)

sample84.0ms

Algorithm
intervals
Results
51.0ms256×body80valid
14.0ms256×pre80true

simplify436.0ms

Calls
1 calls:
Slowest
436.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 51.0b

localize58.0ms

Local error

Found 4 expressions with local error:

44.6b
(/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))
36.2b
(/ (/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
0.1b
(* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))
0.0b
(* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
38×add-cbrt-cube add-exp-log
20×times-frac
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×cbrt-undiv div-exp
11×pow1
10×prod-exp cbrt-unprod
6×associate-*l* div-inv associate-/l*
4×expm1-log1p-u associate-/r* associate-*r* associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l/
2×clear-num frac-2neg flip3-+ pow-prod-down associate-/r/ *-commutative flip-+ fma-udef
1×pow2 distribute-rgt-in distribute-lft-in pow-plus flip3-- pow-prod-up flip--
Calls
4 calls:
Slowest
39.0ms
(/ (/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
28.0ms
(* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))
19.0ms
(/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))
8.0ms
(* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))

series711.0ms

Calls
4 calls:
Slowest
315.0ms
(/ (/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
232.0ms
(/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))
115.0ms
(* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))
48.0ms
(* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))

simplify29.5s

Calls
96 calls:
Slowest
2.7s
(/ (/ (* (* (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))) (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))) (* (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))) (* (* (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)))
2.4s
(/ (/ (* (* (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))) (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))) (* (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (fma 2 i (+ alpha beta))) (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (fma 2 i (+ alpha beta))))) (* (* (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)))
1.4s
(/ (* (* (/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))) (/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))) (* (* (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)))
1.3s
(/ (* (* (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))) (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))) (* (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))))
1.3s
(/ (* (* (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma (+ (+ alpha beta) i) i (* beta alpha))) (fma (+ (+ alpha beta) i) i (* beta alpha))) (* (* (* (+ (+ alpha beta) i) i) (* (+ (+ alpha beta) i) i)) (* (+ (+ alpha beta) i) i))) (* (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (fma 2 i (+ alpha beta))) (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (fma 2 i (+ alpha beta)))))

prune1.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 36.0b

localize11.0ms

Local error

Found 4 expressions with local error:

34.4b
(/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma 2 i (+ alpha beta)))
34.0b
(/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta)))
28.9b
(/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta))))
6.0b
(/ (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma 2 i (+ alpha beta))) (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta)))))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
1046×times-frac
415×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
91×div-inv
39×associate-/r*
34×add-cbrt-cube add-exp-log
20×cbrt-undiv div-exp associate-/l*
16×associate-/r/
5×associate-/l/
4×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
2×associate-*l/
1×flip3-+ flip3-- div-sub flip-+ flip--
Calls
4 calls:
Slowest
37.0ms
(/ (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma 2 i (+ alpha beta))) (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta)))))
36.0ms
(/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta))))
18.0ms
(/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta)))
4.0ms
(/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma 2 i (+ alpha beta)))

series677.0ms

Calls
4 calls:
Slowest
291.0ms
(/ (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma 2 i (+ alpha beta))) (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta)))))
206.0ms
(/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta))))
119.0ms
(/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma 2 i (+ alpha beta)))
61.0ms
(/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta)))

simplify3.9m

Calls
838 calls:
Slowest
1.3s
(/ (/ (* (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma (+ (+ alpha beta) i) i (* beta alpha))) (fma (+ (+ alpha beta) i) i (* beta alpha))) (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (fma 2 i (+ alpha beta)))) (/ (* (* (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (/ (* (* (* (+ (+ alpha beta) i) i) (* (+ (+ alpha beta) i) i)) (* (+ (+ alpha beta) i) i)) (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (fma 2 i (+ alpha beta))))))
1.2s
(/ (* (* (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma 2 i (+ alpha beta))) (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma 2 i (+ alpha beta)))) (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma 2 i (+ alpha beta)))) (/ (* (* (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (/ (* (* (* (+ (+ alpha beta) i) i) (* (+ (+ alpha beta) i) i)) (* (+ (+ alpha beta) i) i)) (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (fma 2 i (+ alpha beta))))))
1.2s
(/ (* (* (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (/ (* (* (* (+ (+ alpha beta) i) i) (* (+ (+ alpha beta) i) i)) (* (+ (+ alpha beta) i) i)) (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (fma 2 i (+ alpha beta)))))
1.2s
(/ (/ (* (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma (+ (+ alpha beta) i) i (* beta alpha))) (fma (+ (+ alpha beta) i) i (* beta alpha))) (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (fma 2 i (+ alpha beta)))) (* (* (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta)))) (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta))))) (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta))))))
1.1s
(/ (/ (* (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma (+ (+ alpha beta) i) i (* beta alpha))) (fma (+ (+ alpha beta) i) i (* beta alpha))) (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (fma 2 i (+ alpha beta)))) (/ (* (* (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (* (* (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta))) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta)))) (/ (* (+ (+ alpha beta) i) i) (fma 2 i (+ alpha beta))))))

prune8.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 36.0b

localize21.0ms

Local error

Found 4 expressions with local error:

39.4b
(/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
0.3b
(/ i (fma i 2 (+ alpha beta)))
0.3b
(/ (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i)) (fma i 2 (+ alpha beta)))
0.1b
(* (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (/ (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i)) (fma i 2 (+ alpha beta))))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
32×add-cbrt-cube add-exp-log
24×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
15×associate-*l*
10×cbrt-undiv div-exp
9×associate-/r* prod-exp cbrt-unprod
7×associate-*r*
6×pow1
5×div-inv associate-/l/
4×expm1-log1p-u associate-/r/ insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×frac-times clear-num frac-2neg associate-*r/
2×flip3-+ flip3-- associate-*l/ flip-+ flip--
1×pow-prod-down *-commutative
Calls
4 calls:
Slowest
50.0ms
(* (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (/ (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i)) (fma i 2 (+ alpha beta))))
22.0ms
(/ (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i)) (fma i 2 (+ alpha beta)))
20.0ms
(/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
1.0ms
(/ i (fma i 2 (+ alpha beta)))

series581.0ms

Calls
4 calls:
Slowest
241.0ms
(* (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (/ (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i)) (fma i 2 (+ alpha beta))))
209.0ms
(/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
81.0ms
(/ (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i)) (fma i 2 (+ alpha beta)))
50.0ms
(/ i (fma i 2 (+ alpha beta)))

simplify19.5s

Calls
99 calls:
Slowest
1.4s
(* (* (* (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))) (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))) (/ (* (* (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i)) (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i))) (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i))) (* (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (fma i 2 (+ alpha beta)))))
964.0ms
(* (/ (* (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (fma (+ (+ alpha beta) i) i (* beta alpha))) (fma (+ (+ alpha beta) i) i (* beta alpha))) (* (* (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))) (* (* (/ (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i)) (fma i 2 (+ alpha beta))) (/ (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i)) (fma i 2 (+ alpha beta)))) (/ (* (/ i (fma i 2 (+ alpha beta))) (+ (+ alpha beta) i)) (fma i 2 (+ alpha beta)))))
875.0ms
(/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (- (pow (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 3) (pow 1.0 3)))
796.0ms
(+ (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (+ (* 1.0 1.0) (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)))
780.0ms
(/ (* (* (* (/ i (fma i 2 (+ alpha beta))) (/ i (fma i 2 (+ alpha beta)))) (/ i (fma i 2 (+ alpha beta)))) (* (* (+ (+ alpha beta) i) (+ (+ alpha beta) i)) (+ (+ alpha beta) i))) (* (* (fma i 2 (+ alpha beta)) (fma i 2 (+ alpha beta))) (fma i 2 (+ alpha beta))))

prune2.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 35.8b

localize67.0ms

Local error

Found 4 expressions with local error:

37.5b
(sqrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
37.5b
(sqrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
35.3b
(cbrt (fma (+ (+ alpha beta) i) i (* beta alpha)))
35.3b
(cbrt (fma (+ (+ alpha beta) i) i (* beta alpha)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×cbrt-prod sqrt-prod
4×expm1-log1p-u pow1 add-cbrt-cube sqrt-div add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square flip3-- pow1/2 pow1/3 flip--
Calls
4 calls:
Slowest
8.0ms
(sqrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
8.0ms
(sqrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
1.0ms
(cbrt (fma (+ (+ alpha beta) i) i (* beta alpha)))
1.0ms
(cbrt (fma (+ (+ alpha beta) i) i (* beta alpha)))

series562.0ms

Calls
4 calls:
Slowest
190.0ms
(cbrt (fma (+ (+ alpha beta) i) i (* beta alpha)))
187.0ms
(cbrt (fma (+ (+ alpha beta) i) i (* beta alpha)))
103.0ms
(sqrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
82.0ms
(sqrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))

simplify6.9s

Calls
30 calls:
Slowest
795.0ms
(sqrt (- (pow (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 3) (pow 1.0 3)))
635.0ms
(sqrt (- (pow (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 3) (pow 1.0 3)))
633.0ms
(sqrt (- (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (* 1.0 1.0)))
599.0ms
(sqrt (- (* (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta)))) (* 1.0 1.0)))
482.0ms
(+ (* 2 (* (sqrt -1.0) (* i alpha))) (+ (sqrt (- 1.0)) (* 2 (* (sqrt -1.0) (pow i 2)))))

prune1.4s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 35.8b

regimes275.0ms

Accuracy

52.2% (1.3b remaining)

Error of 37.0b against oracle of 35.6b and baseline of 38.5b

bsearch106.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.6s8000×body80valid
435.0ms8000×pre80true