Details

Time bar (total: 8.1m)

sample47.0ms

Algorithm
intervals
Results
26.0ms256×body80valid
8.0ms256×pre80true

simplify465.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 52.0b

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
44×times-frac
43×flip3-+ flip-+
42×associate-/r/
36×add-cbrt-cube add-exp-log
28×frac-times associate-*r/
24×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
14×associate-*l/ associate-/l*
13×cbrt-undiv div-exp
9×prod-exp cbrt-unprod associate-/l/
6×pow1 associate-*r* div-inv
4×associate-/r* insert-posit16 add-log-exp
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in *-commutative
1×flip3-- associate-*l* pow-prod-down flip--
Calls
4 calls:
Slowest
53.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))
27.0ms
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
14.0ms
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
5.0ms
(* i (+ (+ alpha beta) i))

series1.0s

Calls
4 calls:
Slowest
702.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))
180.0ms
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
97.0ms
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
24.0ms
(* i (+ (+ alpha beta) i))

simplify49.6s

Calls
173 calls:
Slowest
1.1s
(* (* (* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i))) (* i (+ (+ alpha beta) i))) (* (* (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
819.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))) (* (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))))
817.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (+ (pow (+ alpha beta) 3) (pow (* 2 i) 3)))) 1)
793.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (pow (+ alpha beta) 3) (pow (* 2 i) 3)) (+ (pow (+ alpha beta) 3) (pow (* 2 i) 3)))) (* (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))))
752.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))) (* (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))))

prune2.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 38.7b

localize15.0ms

Local error

Found 4 expressions with local error:

42.0b
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
38.8b
(/ (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
3.3b
(/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
0.0b
(* i (+ (+ alpha beta) i))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
108×times-frac
38×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
32×add-cbrt-cube add-exp-log
21×associate-/r/
16×cbrt-undiv div-exp associate-/l*
15×associate-/r* flip3-+ flip-+
13×div-inv
11×associate-/l/
6×associate-*r/
4×frac-times pow1 insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*r* prod-exp cbrt-unprod
2×associate-*l/
1×distribute-rgt-in distribute-lft-in flip3-- *-commutative flip--
Calls
4 calls:
Slowest
42.0ms
(/ (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
16.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
14.0ms
(/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
4.0ms
(* i (+ (+ alpha beta) i))

series1.2s

Calls
4 calls:
Slowest
850.0ms
(/ (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
151.0ms
(/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
138.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
24.0ms
(* i (+ (+ alpha beta) i))

simplify38.1s

Calls
190 calls:
Slowest
1.6s
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
1.2s
(/ (* (* (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (* (* (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))
1.1s
(/ (* (* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i))) (* i (+ (+ alpha beta) i))) (* (* (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))
977.0ms
(/ (* (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (* (* (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
729.0ms
(- (log (* i (+ (+ alpha beta) i))) (- (+ (log (+ (+ alpha beta) (* 2 i))) (log (+ (+ alpha beta) (* 2 i)))) (log (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))

prune2.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 38.7b

localize11.0ms

Local error

Found 4 expressions with local error:

38.0b
(/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i)))
36.3b
(/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))
32.6b
(/ (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i))))
4.8b
(/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i)))))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
1416×times-frac
530×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
186×associate-/r/
99×div-inv
89×flip3-+ flip-+
71×associate-/r*
34×add-cbrt-cube add-exp-log
20×cbrt-undiv div-exp
16×associate-/l*
7×associate-/l/
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp
2×associate-*r/
1×flip3-- div-sub flip--
Calls
4 calls:
Slowest
40.0ms
(/ (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i))))
40.0ms
(/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i)))))
38.0ms
(/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i)))
16.0ms
(/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))

series1.4s

Calls
4 calls:
Slowest
694.0ms
(/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i)))))
549.0ms
(/ (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i))))
98.0ms
(/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i)))
60.0ms
(/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))

simplify4.3m

Calls
1143 calls:
Slowest
1.6s
(/ (* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))) (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))) (* (* (/ (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i)))) (/ (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i))))) (/ (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i))))))
1.1s
(/ (* (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i))) (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))) (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2 i)))) (/ (* (* (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (* (* (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i))) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i)))) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2 i))))))
853.0ms
(/ (/ (* i (+ (+ alpha beta) i)) (+ (pow (+ alpha beta) 3) (pow (* 2 i) 3))) (/ (sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))))
708.0ms
(/ (/ (* i (+ (+ alpha beta) i)) (+ (pow (+ alpha beta) 3) (pow (* 2 i) 3))) (/ (* (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))))
707.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (/ (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (/ (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (+ (+ alpha beta) (* 2 i)))))

prune10.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 38.7b

localize13.0ms

Local error

Found 4 expressions with local error:

38.8b
(/ (/ (* i (+ (+ alpha beta) i)) (/ (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
37.8b
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
37.8b
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
34.9b
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
999×times-frac
272×add-sqr-sqrt
270×*-un-lft-identity add-cube-cbrt
228×sqrt-prod
84×associate-/l*
64×associate-/r/
62×sqrt-div
37×flip3-+ flip-+
34×div-inv
29×add-cbrt-cube add-exp-log
16×cbrt-undiv div-exp
9×associate-/r* associate-/l/
4×frac-times pow1 insert-posit16 add-log-exp
2×rem-sqrt-square clear-num frac-2neg pow1/2 associate-*l/ prod-exp associate-*r/ cbrt-unprod
1×flip3-- flip--
Calls
4 calls:
Slowest
84.0ms
(/ (/ (* i (+ (+ alpha beta) i)) (/ (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
19.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
5.0ms
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
4.0ms
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

series1.5s

Calls
4 calls:
Slowest
771.0ms
(/ (/ (* i (+ (+ alpha beta) i)) (/ (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
663.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
49.0ms
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
41.0ms
(sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

simplify1.8m

Calls
653 calls:
Slowest
1.2s
(/ (* (* (/ (* i (+ (+ alpha beta) i)) (/ (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (/ (* i (+ (+ alpha beta) i)) (/ (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))) (/ (* i (+ (+ alpha beta) i)) (/ (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))) (* (* (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))
1.0s
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
577.0ms
(/ (/ (+ (+ alpha beta) i) (/ (/ (+ (+ alpha beta) (* 2 i)) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (sqrt (cbrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))) (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))
555.0ms
(/ (/ i (/ (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))) 1)
524.0ms
(/ (/ i (/ (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (sqrt (- (* (* beta alpha) (* beta alpha)) (* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i)))))) (sqrt (* (cbrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (cbrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))))) (* (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)) (cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))))

prune4.3s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 38.7b

regimes150.0ms

Accuracy

53.6% (1.2b remaining)

Error of 37.6b against oracle of 36.4b and baseline of 39.0b

bsearch74.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.2s8000×body80valid
273.0ms8000×pre80true