Details

Time bar (total: 4.7m)

sample111.0ms

Algorithm
intervals
Results
37.0ms205×body80valid
20.0ms21×body1280valid
15.0ms256×pre80true
13.0ms18×body640valid
4.0ms8×body320valid
1.0ms4×body160valid

simplify167.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.5b

localize38.0ms

Local error

Found 3 expressions with local error:

21.1b
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
1.4b
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.0b
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
39×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
33×fma-def
20×associate-/r/
17×add-cbrt-cube add-exp-log
14×flip3-+ flip-+
10×div-inv associate-/l*
9×associate-/l/
7×cbrt-undiv div-exp
6×associate-/r*
4×frac-times
3×expm1-log1p-u pow1 flip3-- insert-posit16 log1p-expm1-u flip-- add-log-exp
2×clear-num frac-2neg associate-*l/ prod-exp associate-*r/ cbrt-unprod
1×+-commutative
Calls
3 calls:
Slowest
96.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
29.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
12.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

series410.0ms

Calls
3 calls:
Slowest
188.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
170.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
52.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))

simplify28.4s

Calls
139 calls:
Slowest
745.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
715.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)))
709.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
689.0ms
(/ (* (+ alpha beta) (- beta alpha)) 1)
588.0ms
(* (+ (pow alpha 3) (pow beta 3)) (- (pow beta 3) (pow alpha 3)))

prune1.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 5.3b

localize44.0ms

Local error

Found 4 expressions with local error:

7.0b
(+ (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) 1.0)
0.4b
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
0.4b
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
0.3b
(* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))

rewrite194.0ms

Algorithm
rewrite-expression-head
Rules
345×times-frac
190×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
120×sqrt-prod
96×associate-*r*
34×associate-/r/
32×add-cbrt-cube add-exp-log
30×associate-*l* div-inv
19×associate-/l*
18×flip3-+ flip-+
13×cbrt-undiv div-exp
12×associate-/r*
8×sqrt-div
6×pow1 prod-exp cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg div-sub associate-/l/
1×frac-times +-commutative fma-def pow-prod-down associate-*l/ associate-*r/ *-commutative
Calls
4 calls:
Slowest
76.0ms
(* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
46.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
45.0ms
(+ (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) 1.0)
20.0ms
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

series647.0ms

Calls
4 calls:
Slowest
217.0ms
(+ (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) 1.0)
183.0ms
(* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
162.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
85.0ms
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

simplify1.1m

Calls
425 calls:
Slowest
987.0ms
(/ (/ (+ alpha beta) 1) (sqrt (+ (pow (+ (+ alpha beta) (* 2 i)) 3) (pow 2.0 3))))
937.0ms
(* (/ (* (* (/ (+ alpha beta) 1) (/ (+ alpha beta) 1)) (/ (+ alpha beta) 1)) (* (* (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (/ (* (* (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (* (* (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))
643.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
547.0ms
(* (/ (* (* (/ (+ alpha beta) 1) (/ (+ alpha beta) 1)) (/ (+ alpha beta) 1)) (* (* (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (* (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))
546.0ms
(/ (/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i)))) (* (* (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))

prune5.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 5.3b

localize36.0ms

Local error

Found 4 expressions with local error:

13.6b
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
7.0b
(+ (cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))) 1.0)
0.4b
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
0.4b
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

rewrite669.0ms

Algorithm
rewrite-expression-head
Rules
129×frac-times
75×associate-*l/
63×cbrt-div associate-*r/
48×times-frac
39×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
30×sqrt-prod
16×div-inv
12×associate-/r*
8×add-cbrt-cube add-exp-log associate-/l*
4×expm1-log1p-u pow1 fma-def sqrt-div associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×flip3-+ flip-+
2×cbrt-prod cbrt-undiv clear-num frac-2neg div-exp associate-/l/
1×+-commutative pow1/3 pow3 rem-cbrt-cube
Calls
4 calls:
Slowest
558.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
40.0ms
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
40.0ms
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
25.0ms
(+ (cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))) 1.0)

series720.0ms

Calls
4 calls:
Slowest
284.0ms
(+ (cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))) 1.0)
214.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
120.0ms
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
101.0ms
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

simplify50.6s

Calls
204 calls:
Slowest
1.1s
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))) (* (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
859.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))))
789.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (+ alpha beta) 1) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))) (* (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
788.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (* (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
732.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (* (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))

prune3.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 5.3b

localize22.0ms

Local error

Found 4 expressions with local error:

13.6b
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
13.6b
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
13.6b
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
7.0b
(+ (cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))) 1.0)

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
387×frac-times
225×associate-*l/
189×cbrt-div associate-*r/
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×cbrt-prod expm1-log1p-u pow1 fma-def add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 pow3 rem-cbrt-cube
1×+-commutative flip3-+ flip-+
Calls
4 calls:
Slowest
897.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
617.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
550.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
26.0ms
(+ (cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))) 1.0)

series839.0ms

Calls
4 calls:
Slowest
255.0ms
(+ (cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))) 1.0)
202.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
192.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
190.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))

simplify1.8m

Calls
210 calls:
Slowest
969.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))))
945.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (+ alpha beta) 1) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))))
840.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (* (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))))
839.0ms
(cbrt (* (* (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))) (* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))))
814.0ms
(cbrt (* (* (* (/ (+ alpha beta) 1) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (* (/ (+ alpha beta) 1) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))) (* (/ (+ alpha beta) 1) (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))))))

prune5.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 5.3b

regimes302.0ms

Accuracy

3.7% (5.9b remaining)

Error of 12.0b against oracle of 6.1b and baseline of 12.3b

bsearch132.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.2s6375×body80valid
762.0ms8000×pre80true
416.0ms495×body1280valid
324.0ms598×body640valid
168.0ms354×body320valid
47.0ms178×body160valid