Details

simplify5.4m (61.7%)

prune1.0m (11.5%)

series55.8s (10.7%)

Calls

347 calls:

723.0ms
(/ (* (cbrt (- a x)) (cbrt (- a x))) (/ (- (+ t 1.0) z) (- y z)))
685.0ms
(/ (+ (* (+ (* (+ (* (* (* (* (cbrt (cbrt (* (+ (* x y) z) y))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
653.0ms
(/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
635.0ms
(- (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))) (tan a))
632.0ms
(+ x (- (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))) (tan a)))

sample36.9s (7.1%)

Algorithm
39×intervals
Results
11.3s12207×body1280valid
9.2s69505×body80valid
5.1s5375×body640valid
2.7s30548×body80nan
1.8s2516×body320valid
397.0ms1090×body160valid
126.0ms172×body2560valid
116.0ms8512×pre80true
27.0ms9×body5120valid

rewrite28.0s (5.3%)

Algorithm
105×rewrite-expression-head
Calls

347 calls:

3.6s
(/ (+ (* (+ (* (+ (* (* (* (* (cbrt (cbrt (* (+ (* x y) z) y))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
2.1s
(* (/ 1 (* (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))) (/ (cbrt (- (+ t 1.0) z)) (- y z)))) (- a x))
1.3s
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (- a 0.5) (log (cbrt t))))
773.0ms
(/ (* 2.0 c) (- (* 2.0 (* (* (/ a (sqrt b)) (* (cbrt c) (cbrt c))) (/ (cbrt c) (sqrt b)))) (* 2 b)))
756.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
Rules
5269×add-exp-log
3891×times-frac
3841×*-un-lft-identity
3804×prod-exp
3801×add-sqr-sqrt
2583×add-cube-cbrt
1429×add-cbrt-cube
939×pow-exp
937×pow-to-exp
812×div-exp
783×pow1
676×associate-*r*
655×associate-*l*
561×add-log-exp
500×cbrt-unprod
437×distribute-rgt-neg-in
428×distribute-lft-out--
405×difference-of-squares
396×distribute-lft-neg-in
390×associate-/r*
383×cbrt-prod
351×sqrt-prod
299×flip-- flip3--
266×associate-/l*
254×cbrt-undiv
246×distribute-lft-out
242×unpow-prod-down
204×frac-times associate-*r/
199×pow-prod-down
196×div-inv
193×associate-*l/
176×exp-prod
172×unswap-sqr
164×cbrt-div
152×associate-/r/
137×sub-neg
132×cube-prod
122×*-commutative
121×log-prod
119×neg-mul-1
114×flip-+ flip3-+
113×frac-sub
112×distribute-rgt-in distribute-lft-in
97×log-pow
74×tan-quot
72×clear-num frac-2neg
65×sum-log
64×associate-+r+
62×diff-log
56×sqrt-pow1
54×sqr-pow
53×associate-/l/
52×sqrt-div
51×neg-sub0
47×pow1/3
42×exp-diff
37×pow-unpow
35×associate-+l+ exp-neg
34×frac-add
32×pow1/2
29×exp-sum
28×+-commutative log-div
27×associate-+l-
26×1-exp rec-exp cos-mult
25×sin-mult
24×rem-sqrt-square
23×associate--l+
20×unpow-prod-up
19×swap-sqr
15×pow-prod-up associate--r+
14×neg-log sub-div
13×pow-pow pow-sqr
12×div-sub distribute-neg-frac
10×rem-exp-log
9×pow-sub
7×distribute-frac-neg associate--l-
6×distribute-rgt-neg-out
5×rem-log-exp associate-+r-
4×inv-pow pow-flip pow-plus
3×pow2
2×cube-div rem-cube-cbrt sqrt-undiv unpow3 un-div-inv sqrt-unprod cube-mult tan-sum cos-sum
1×associate--r- unpow1/2 rem-square-sqrt acos-asin cube-neg log-rec rem-cbrt-cube

regimes15.0s (2.9%)

Accuracy

Total 2.5b remaining (8.1%)

Threshold costs 1.3b (4.4%)

1.1b0%Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2
0.4b0%r*sin(b)/cos(a+b), A
0.4b0%r*sin(b)/cos(a+b), B
0.4b0%sqrt times
0.2b0%VandenBroeck and Keller, Equation (24)

localize4.4s (0.8%)

bsearch22.0ms (0.0%)

end0.0ms (0.0%)