Details

Time bar (total: 7.6m)

sample89.0ms

Algorithm
intervals
Results
51.0ms256×body80valid
14.0ms256×pre80true

simplify450.0ms

Calls
1 calls:
Slowest
450.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: 53.7b

localize48.0ms

Local error

Found 4 expressions with local error:

46.9b
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
39.0b
(/ (/ (* (* 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
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
48×flip3-+ flip-+
44×times-frac
42×associate-/r/
38×add-cbrt-cube add-exp-log
32×frac-times
28×associate-*r/
25×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×associate-*l/
14×associate-/l*
13×cbrt-undiv div-exp
11×pow1
10×prod-exp cbrt-unprod
9×associate-/l/
6×associate-*r* div-inv
4×associate-/r* associate-*l* insert-posit16 add-log-exp
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down *-commutative
1×pow2 pow-plus flip3-- pow-prod-up flip--
Calls
4 calls:
Slowest
59.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))
23.0ms
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
20.0ms
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
14.0ms
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

series1.0s

Calls
4 calls:
Slowest
761.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))
157.0ms
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
72.0ms
(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
53.0ms
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

simplify53.9s

Calls
191 calls:
Slowest
1.5s
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
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)))))
1.1s
(* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i)))
914.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)
802.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))))

prune2.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 38.9b

localize8.0ms

Local error

Found 4 expressions with local error:

44.1b
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
39.0b
(/ (/ (* 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))
5.2b
(/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
0.0b
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
108×times-frac
39×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
34×add-cbrt-cube add-exp-log
21×associate-/r/
20×flip3-+ flip-+
16×cbrt-undiv div-exp associate-/l*
15×associate-/r*
13×div-inv
11×associate-/l/
9×pow1
8×frac-times
6×associate-*r/
4×associate-*l/ prod-exp cbrt-unprod insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*r* associate-*l*
1×pow2 distribute-rgt-in distribute-lft-in pow-plus flip3-- pow-prod-down *-commutative pow-prod-up flip--
Calls
4 calls:
Slowest
39.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))
26.0ms
(/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
16.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
14.0ms
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

series984.0ms

Calls
4 calls:
Slowest
687.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))
144.0ms
(/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
112.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
41.0ms
(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

simplify43.5s

Calls
208 calls:
Slowest
1.6s
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
1.5s
(* (- (* (+ 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.0s
(/ (* (* (* 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))))))
968.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)))))

prune2.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 38.9b

localize20.0ms

Local error

Found 4 expressions with local error:

44.1b
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
44.1b
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
39.0b
(/ (* (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* 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))
32.9b
(sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
21×times-frac
19×add-cbrt-cube add-exp-log associate-/l/
15×flip3-+ flip-+
14×add-sqr-sqrt sqrt-prod
13×*-un-lft-identity add-cube-cbrt
9×frac-times associate-/r* associate-/r/
6×cbrt-undiv div-exp
5×sqrt-div associate-*l/ associate-*r/ div-inv
4×pow1 insert-posit16 add-log-exp
3×clear-num frac-2neg prod-exp cbrt-unprod associate-/l*
1×rem-sqrt-square flip3-- pow1/2 flip--
Calls
4 calls:
Slowest
49.0ms
(/ (* (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* 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))
29.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
16.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
4.0ms
(sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))

series1.2s

Calls
4 calls:
Slowest
752.0ms
(/ (* (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* 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))
154.0ms
(sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))
130.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
124.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

simplify21.2s

Calls
95 calls:
Slowest
1.6s
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
1.5s
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
1.1s
(/ (* (* (* (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))) (* (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))))) (* (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* 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
(/ (* (* (* (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))) (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))) (* (* (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))) (sqrt (/ (* 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.0s
(/ (* (* (* (+ (+ 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)))))

prune2.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 38.9b

localize12.0ms

Local error

Found 4 expressions with local error:

44.1b
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
44.1b
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
39.0b
(/ (/ (/ (* i (+ (+ alpha beta) i)) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* (+ (+ 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)) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
2391×times-frac
1062×sqrt-prod
624×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
295×associate-/r/
212×associate-/l*
174×div-inv
133×flip3-+ flip-+
53×sqrt-div
25×add-cbrt-cube add-exp-log
21×associate-/r*
19×associate-/l/
11×cbrt-undiv div-exp
8×frac-times
6×associate-*r/
4×pow1 clear-num frac-2neg associate-*l/ insert-posit16 add-log-exp
2×prod-exp cbrt-unprod
1×flip3-- flip--
Calls
4 calls:
Slowest
47.0ms
(/ (/ (/ (* i (+ (+ alpha beta) i)) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
31.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
18.0ms
(/ (* i (+ (+ alpha beta) i)) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))
15.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

series1.1s

Calls
4 calls:
Slowest
761.0ms
(/ (/ (/ (* i (+ (+ alpha beta) i)) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
116.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
111.0ms
(/ (* i (+ (+ alpha beta) i)) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))
107.0ms
(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

simplify5.3m

Calls
1575 calls:
Slowest
1.6s
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
1.4s
(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
1.0s
(/ (* (* (* (+ (+ 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)))))
930.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)))))
816.0ms
(/ (/ (* (* (/ (* i (+ (+ alpha beta) i)) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (/ (* i (+ (+ alpha beta) i)) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))) (/ (* i (+ (+ alpha beta) i)) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))))) (* (* (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (sqrt (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))) (sqrt (/ (* (+ (+ 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)))

prune10.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 38.9b

regimes113.0ms

Accuracy

47.2% (1.4b remaining)

Error of 38.0b against oracle of 36.7b and baseline of 39.2b

bsearch46.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s8000×body80valid
280.0ms8000×pre80true