Details

simplify5.8m (56.4%)

prune2.3m (21.8%)

series59.9s (9.6%)

Calls

342 calls:

1.2s
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
907.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
783.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
754.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
716.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))

sample37.4s (6.0%)

Algorithm
40×intervals
Results
12.2s12207×body1280valid
10.0s77505×body80valid
4.5s5375×body640valid
2.7s30548×body80nan
1.6s2516×body320valid
593.0ms1090×body160valid
167.0ms172×body2560valid
158.0ms8512×pre80true
5.0ms9×body5120valid

rewrite21.3s (3.4%)

Algorithm
105×rewrite-expression-head
Calls

342 calls:

804.0ms
(* x (/ (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))) y))
740.0ms
(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))))
722.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
574.0ms
(* x (/ (exp (- (* (log z) y) (- b (* (log a) (- t 1.0))))) y))
544.0ms
(- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t)
Rules
31528×times-frac
18491×*-un-lft-identity
17579×add-sqr-sqrt
16496×add-cube-cbrt
7018×prod-diff
4702×add-exp-log
4453×unpow-prod-up
4198×unpow-prod-down
3445×prod-exp
1809×associate-*r*
1799×associate-/r*
1406×sqr-pow
1269×add-cbrt-cube
848×pow-exp
847×pow-to-exp
820×sqrt-prod
807×pow1
780×distribute-lft-out
779×distribute-rgt-in distribute-lft-in
737×div-inv
687×associate--l+
643×div-exp
514×add-log-exp
498×sub-neg
482×associate-/r/
480×distribute-rgt-neg-in
434×distribute-lft-neg-in
419×cbrt-unprod
411×associate-*l*
342×log1p-expm1-u expm1-log1p-u
329×difference-of-squares
300×distribute-lft-out--
298×associate-/l*
265×fma-neg
218×flip-- cbrt-undiv flip3--
173×pow-prod-down
154×flip-+ flip3-+
151×associate-+r+
144×cbrt-prod
132×log-pow
127×pow-sub
123×fma-def
119×unswap-sqr
102×log-prod
94×*-commutative associate-*r/
91×frac-times
88×neg-mul-1
76×clear-num frac-2neg
67×associate-*l/
66×exp-sum
60×diff-log
54×associate-+l+
47×pow-unpow
39×sum-log
38×sqrt-div
34×fma-udef exp-prod
31×associate-/l/
30×pow1/3 log-div
27×tan-quot
25×pow1/2 rem-sqrt-square associate-+l- sqrt-pow1
20×+-commutative
19×pow-pow
18×neg-sub0 frac-sub sin-mult
17×cos-mult distribute-rgt-out--
16×neg-log
15×1-exp rec-exp
13×sub-div
11×rem-exp-log
10×associate-+r- pow-flip associate--l-
7×div-sub distribute-neg-frac
6×exp-diff inv-pow
5×un-div-inv distribute-neg-in
4×associate--r- frac-add rem-log-exp
3×cbrt-div
2×sqrt-undiv distribute-lft-neg-out distribute-frac-neg tan-sum cos-sum
1×sqrt-unprod exp-neg unpow1/2 acos-asin

regimes12.2s (2.0%)

Accuracy

Total 2.3b remaining (7.7%)

Threshold costs 1.1b (3.8%)

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

localize4.7s (0.7%)

bsearch17.0ms (0.0%)

end0.0ms (0.0%)