Details

Time bar (total: 6.0m)

sample74.0ms

Algorithm
intervals
Results
44.0ms256×body80valid
10.0ms256×pre80true

simplify429.0ms

Calls
1 calls:
Slowest
429.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))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 52.0b

localize30.0ms

Local error

Found 4 expressions with local error:

45.2b
(/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))
38.8b
(/ (/ (* (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 (+ (+ alpha beta) i) i (* beta alpha))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
36×add-cbrt-cube add-exp-log
20×times-frac
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
13×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
6×pow1 div-inv associate-/l*
4×expm1-log1p-u associate-/r* associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l* associate-/l/
2×clear-num frac-2neg flip3-+ associate-/r/ flip-+
1×flip3-- associate-*r* pow-prod-down *-commutative fma-udef flip--
Calls
4 calls:
Slowest
38.0ms
(/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))
27.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))
25.0ms
(* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))
0.0ms
(fma (+ (+ alpha beta) i) i (* beta alpha))

series577.0ms

Calls
4 calls:
Slowest
228.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))
189.0ms
(/ (* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i)) (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))))
133.0ms
(* (fma (+ (+ alpha beta) i) i (* beta alpha)) (* (+ (+ alpha beta) i) i))
27.0ms
(fma (+ (+ alpha beta) i) i (* beta alpha))

simplify27.8s

Calls
83 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.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))))) (* (* (- (* (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.5s
(/ (* (* (* (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)))))
1.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)))))
1.4s
(/ (* (* (* (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.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 38.7b

localize10.0ms

Local error

Found 4 expressions with local error:

41.9b
(/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))
38.8b
(/ (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
5.0b
(/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))
0.0b
(fma (+ (+ alpha beta) i) i (* beta alpha))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
200×times-frac
87×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
41×associate-/r/
34×associate-*l/
32×add-cbrt-cube add-exp-log
30×associate-/l*
23×div-inv
17×flip3-+ flip-+
16×cbrt-undiv div-exp
11×associate-/r*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg prod-exp cbrt-unprod
1×flip3-- fma-udef flip-- associate-/l/
Calls
4 calls:
Slowest
50.0ms
(/ (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
22.0ms
(/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))
13.0ms
(/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))
0.0ms
(fma (+ (+ alpha beta) i) i (* beta alpha))

series518.0ms

Calls
4 calls:
Slowest
228.0ms
(/ (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
171.0ms
(/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))
78.0ms
(/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))
42.0ms
(fma (+ (+ alpha beta) i) i (* beta alpha))

simplify1.2m

Calls
274 calls:
Slowest
1.9s
(/ (/ (* (* (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)) (fma 2 i (+ alpha beta)))) (* (* (* (+ (+ alpha beta) i) i) (* (+ (+ alpha beta) i) i)) (* (+ (+ alpha beta) i) i)))) (* (* (- (* (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.8s
(/ (/ (* (* (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))) (fma 2 i (+ alpha beta)))) (* (* (* (+ (+ alpha beta) i) i) (* (+ (+ alpha beta) i) i)) (* (+ (+ alpha beta) i) i)))) (* (* (- (* (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.7s
(/ (/ (* (* (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))) (* (+ (+ alpha beta) i) i)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))) (* (* (- (* (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)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))) (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))) (/ (fma (+ (+ alpha beta) i) i (* beta alpha)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))) (* (* (- (* (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.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)) (fma 2 i (+ alpha beta)))) (* (* (* (+ (+ alpha beta) i) i) (* (+ (+ alpha beta) i) i)) (* (+ (+ alpha beta) i) i))))

prune3.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 38.7b

localize26.0ms

Local error

Found 4 expressions with local error:

41.9b
(/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))
38.1b
(/ (/ (* i (+ beta (+ alpha i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
3.8b
(/ (* i (+ beta (+ alpha i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))
0.0b
(* (+ (+ alpha beta) i) i)

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
32×add-cbrt-cube add-exp-log
28×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×associate-/r/
16×cbrt-undiv div-exp associate-*l/
14×associate-/l*
13×div-inv
11×associate-/r*
9×flip3-+ flip-+
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*l* prod-exp cbrt-unprod associate-/l/
2×associate-*r/
1×flip3-- *-commutative flip--
Calls
4 calls:
Slowest
43.0ms
(/ (/ (* i (+ beta (+ alpha i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
24.0ms
(/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))
23.0ms
(/ (* i (+ beta (+ alpha i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))
8.0ms
(* (+ (+ alpha beta) i) i)

series464.0ms

Calls
4 calls:
Slowest
294.0ms
(/ (/ (* i (+ beta (+ alpha i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))) (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))
88.0ms
(/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))
63.0ms
(/ (* i (+ beta (+ alpha i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))
19.0ms
(* (+ (+ alpha beta) i) i)

simplify36.3s

Calls
152 calls:
Slowest
2.1s
(/ (* (* (* i (+ beta (+ alpha i))) (* i (+ beta (+ alpha i)))) (* i (+ beta (+ alpha i)))) (* (* (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))))
1.9s
(/ (* (* (/ (* i (+ beta (+ alpha i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i))) (/ (* i (+ beta (+ alpha i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))) (/ (* i (+ beta (+ alpha i))) (/ (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) (* (+ (+ alpha beta) i) i)))) (* (* (- (* (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)))
728.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)))
726.0ms
(/ (* (* (* (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)))) (* (* (* (+ (+ alpha beta) i) i) (* (+ (+ alpha beta) i) i)) (* (+ (+ alpha beta) i) i)))
692.0ms
(/ (* (* (* (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)))) (* (* (* (+ (+ alpha beta) i) i) (* (+ (+ alpha beta) i) i)) (* (+ (+ alpha beta) i) i)))

prune1.9s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 38.7b

localize27.0ms

Local error

Found 4 expressions with local error:

32.1b
(/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i)))
4.6b
(/ (/ i (/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i))) (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i))))
0.0b
(/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i))
0.0b
(/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
922×times-frac
380×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
159×div-inv
90×associate-/r/
80×associate-/r*
22×add-cbrt-cube add-exp-log
14×associate-/l*
11×cbrt-undiv div-exp
5×associate-/l/
4×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
2×flip3-+ flip-+
1×flip3-- div-sub flip--
Calls
4 calls:
Slowest
19.0ms
(/ (/ i (/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i))) (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i))))
17.0ms
(/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i)))
15.0ms
(/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i))
14.0ms
(/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i))

series621.0ms

Calls
4 calls:
Slowest
334.0ms
(/ (/ i (/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i))) (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i))))
173.0ms
(/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i)))
64.0ms
(/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i))
50.0ms
(/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i))

simplify3.3m

Calls
827 calls:
Slowest
1.5s
(/ (* (* (/ i (/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i))) (/ i (/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i)))) (/ i (/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i)))) (* (* (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i))) (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i)))) (/ (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i)))))
1.4s
(/ (* (* (/ i (/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i))) (/ i (/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i)))) (/ i (/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i)))) (/ (* (* (- (* (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)) (* (* (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i)) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i))) (/ (+ beta (+ alpha i)) (/ (fma 2 i (+ alpha beta)) i)))))
853.0ms
(/ (/ i (fma 2 i (+ alpha beta))) (/ (* (cbrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (cbrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))) (/ 1 (fma 2 i (+ alpha beta)))))
821.0ms
(/ (/ i (fma 2 i (+ alpha beta))) (/ (sqrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (/ (* (cbrt (+ beta (+ alpha i))) (cbrt (+ beta (+ alpha i)))) (fma 2 i (+ alpha beta)))))
815.0ms
(/ (sqrt (/ i (/ (fma 2 i (+ alpha beta)) (+ (+ alpha beta) i)))) (/ (* (cbrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0)) (cbrt (- (* (fma 2 i (+ alpha beta)) (fma 2 i (+ alpha beta))) 1.0))) (/ (sqrt (+ beta (+ alpha i))) (fma 2 i (+ alpha beta)))))

prune8.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 32.6b

regimes230.0ms

Accuracy

92.8% (0.4b remaining)

Error of 31.3b against oracle of 30.8b and baseline of 36.9b

bsearch120.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.5s8000×body80valid
368.0ms8000×pre80true