Details

Time bar (total: 4.0m)

sample86.0ms

Algorithm
intervals
Results
23.0ms196×body80valid
16.0ms30×body640valid
11.0ms256×pre80true
11.0ms18×body1280valid
3.0ms7×body320valid
1.0ms5×body160valid

simplify138.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.1b

localize28.0ms

Local error

Found 4 expressions with local error:

23.3b
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
1.3b
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
0.1b
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
0.0b
(+ (+ alpha beta) (* 2 i))

rewrite903.0ms

Algorithm
rewrite-expression-head
Rules
102×times-frac
87×*-un-lft-identity
46×fma-def
45×add-sqr-sqrt add-cube-cbrt
24×associate-/r/
21×distribute-lft-out
18×add-cbrt-cube add-exp-log
17×flip3-+ flip-+
12×div-inv
11×add-log-exp
10×associate-/l*
9×associate-/l/
7×cbrt-undiv associate-/r* div-exp
4×expm1-log1p-u frac-times pow1 sum-log insert-posit16 log1p-expm1-u
3×flip3-- flip--
2×+-commutative clear-num frac-2neg associate-*l/ prod-exp associate-*r/ cbrt-unprod
1×associate-+l+
Counts
4 → 182
Calls
4 calls:
Slowest
602.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
204.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
49.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
43.0ms
(+ (+ alpha beta) (* 2 i))

series783.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
393.0ms
(+ (/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0)) 1.0)
254.0ms
(/ (/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
111.0ms
(/ (* (+ alpha beta) (- beta alpha)) (+ (+ alpha beta) (* 2 i)))
25.0ms
(+ (+ alpha beta) (* 2 i))

simplify32.8s

Counts
176 → 194
Calls
176 calls:
Slowest
778.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
685.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
677.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))
676.0ms
(/ (* (* (* (+ alpha beta) (- beta alpha)) (* (+ alpha beta) (- beta alpha))) (* (+ alpha beta) (- beta alpha))) (* (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i))))
611.0ms
(/ (/ 1 (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))

prune2.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 6.5b

localize51.0ms

Local error

Found 4 expressions with local error:

7.3b
(+ (* (/ (/ (+ 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))))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
1015×times-frac
755×*-un-lft-identity
655×add-sqr-sqrt
413×add-cube-cbrt
333×sqrt-prod
153×associate-*r*
121×distribute-lft-out
118×associate-*l*
64×add-exp-log
50×add-cbrt-cube
45×distribute-lft-out-- difference-of-squares
38×associate-/r/
37×associate-/l*
35×div-exp unswap-sqr
34×div-inv
24×cbrt-undiv
20×flip3-+ flip-+
14×associate-/r*
12×prod-exp
9×cbrt-unprod
8×sqrt-div
6×pow1 add-log-exp
4×expm1-log1p-u 1-exp insert-posit16 log1p-expm1-u
2×clear-num frac-2neg div-sub associate-/l/
1×frac-times +-commutative sum-log fma-def pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 709
Calls
4 calls:
Slowest
530.0ms
(* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
160.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
145.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)
141.0ms
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
408.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)
310.0ms
(* (/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
274.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))
188.0ms
(/ (/ (+ alpha beta) 1) (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))

simplify2.4m

Counts
963 → 721
Calls
963 calls:
Slowest
763.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)))))
712.0ms
(* (/ (/ (* (* (+ alpha beta) (+ alpha beta)) (+ alpha beta)) (* (* 1 1) 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)))))
678.0ms
(/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (sqrt (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0))))
634.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))))
626.0ms
(* (/ (/ (sqrt (+ alpha beta)) (sqrt 1)) (sqrt (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))) (/ (sqrt (/ (- beta alpha) (+ (+ alpha beta) (* 2 i)))) (sqrt (sqrt (+ (+ (+ alpha beta) (* 2 i)) 2.0)))))

prune11.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.5b

localize57.0ms

Local error

Found 4 expressions with local error:

11.0b
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
7.1b
(+ (cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))))) 1.0)
0.4b
(/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))
0.4b
(/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))

rewrite608.0ms

Algorithm
rewrite-expression-head
Rules
95×*-un-lft-identity
56×times-frac
41×add-sqr-sqrt add-cube-cbrt
40×sqrt-prod
27×distribute-lft-out
14×associate-/r*
8×add-cbrt-cube add-exp-log associate-/l*
7×cbrt-div
6×add-log-exp
5×frac-times flip3-+ associate-*r/ flip-+
4×expm1-log1p-u pow1 fma-def sqrt-div associate-/r/ insert-posit16 log1p-expm1-u associate-/l/
3×associate-*l/
2×cbrt-prod cbrt-undiv clear-num frac-2neg div-exp div-inv
1×+-commutative sum-log pow1/3 cube-unmult rem-cbrt-cube
Counts
4 → 155
Calls
4 calls:
Slowest
518.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
36.0ms
(/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))
36.0ms
(/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))
14.0ms
(+ (cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))))) 1.0)

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
489.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
381.0ms
(+ (cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))))) 1.0)
211.0ms
(/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))
168.0ms
(/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))

simplify19.1s

Counts
168 → 167
Calls
168 calls:
Slowest
412.0ms
(/ (sqrt (+ beta alpha)) (sqrt (* (cbrt (+ (fma i 2 (+ beta alpha)) 2.0)) (cbrt (+ (fma i 2 (+ beta alpha)) 2.0)))))
404.0ms
(cbrt (* (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (* (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
392.0ms
(* (exp (cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))) (exp 1.0))
377.0ms
(sqrt (+ (* (fma i 2 (+ beta alpha)) (fma i 2 (+ beta alpha))) (- (* 2.0 2.0) (* (fma i 2 (+ beta alpha)) 2.0))))
376.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))

prune2.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.5b

localize176.0ms

Local error

Found 4 expressions with local error:

11.0b
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
11.0b
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
11.0b
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
7.1b
(+ (cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))))) 1.0)

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
21×cbrt-div
15×frac-times associate-*r/
9×associate-*l/
7×*-un-lft-identity
6×add-log-exp
5×add-sqr-sqrt add-cube-cbrt
4×cbrt-prod expm1-log1p-u pow1 fma-def add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×pow1/3 cube-unmult rem-cbrt-cube
1×+-commutative sum-log flip3-+ flip-+ distribute-lft-out
Counts
4 → 79
Calls
4 calls:
Slowest
501.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
459.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
455.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
14.0ms
(+ (cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))))) 1.0)

series1.7s

Counts
4 → 12
Calls
4 calls:
Slowest
468.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
447.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
391.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
387.0ms
(+ (cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0)))))) 1.0)

simplify12.1s

Counts
44 → 91
Calls
44 calls:
Slowest
463.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))))))
434.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))))))
420.0ms
(cbrt (* (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (* (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))))))
415.0ms
(cbrt (* (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (* (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))
403.0ms
(cbrt (* (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (* (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (/ (* (/ (+ beta alpha) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))) (/ (- beta alpha) (fma i 2 (+ beta alpha)))) (sqrt (+ (fma i 2 (+ beta alpha)) 2.0))))))

prune1.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 6.5b

regimes383.0ms

Accuracy

14.2% (5.7b remaining)

Error of 11.4b against oracle of 5.7b and baseline of 12.3b

bsearch428.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
896.0ms6358×body80valid
787.0ms8000×pre80true
370.0ms568×body640valid
355.0ms521×body1280valid
233.0ms367×body320valid
92.0ms186×body160valid