Details

simplify11.3m

Calls

5235 calls:

Slowest
2.1s
(/ (* (* (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))) (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))) (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))) (* (* (* t (* (- (/ 5.0 6.0) a) (* t 3.0))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0)))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0)))))
1.2s
(* (* (sqrt (+ (* a a) (- (* t t) (* a t)))) (+ (/ 5.0 6.0) a)) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a))) (+ (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))
1.2s
(/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a)))
1.2s
(* (* (* (* a a) (* a a)) (* a a)) (* (* (+ 1 a) (+ 1 a)) (+ 1 a)))
1.2s
(* (* (* (* a a) (* a a)) (* a a)) (* (* (+ 1 a) (+ 1 a)) (+ 1 a)))

sample2.5m

Algorithm
59×intervals
Results
49.4s262723×body80valid
32.5s207329×body80nan
28.3s21436×body1280valid
10.1s11005×body640valid
7.0s5265×body2560valid
3.4s5032×body320valid
1.6s2499×body160valid
1.1s16512×pre80true
181.0ms233×body5120valid

prune2.2m

series30.9s

Calls

308 calls:

Slowest
599.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (fma z c (- (* i a))) b)))
573.0ms
(* (* (* (* x 18.0) y) z) t)
573.0ms
(fma i c (fma a b (fma x y (* z t))))
563.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
549.0ms
(* (* (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)) (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))) (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))

regimes16.9s

Accuracy

Total 20.4b remaining (13.4%)

4.5b6.4%Linear.Matrix:det33 from linear-1.19.1.3
3.9b21.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.2b20.5%cos(2*x)/(cos^2(x)*sin^2(x))
1.1b50.2%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.1b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

rewrite3.9s

Algorithm
97×rewrite-expression-head
Calls

312 calls:

Slowest
260.0ms
(* (* (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)) (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))) (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
226.0ms
(/ (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0))))
172.0ms
(cbrt (* (* (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)) (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))) (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))))
140.0ms
(- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))
138.0ms
(* (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)) (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
Rules
1463×*-un-lft-identity
1355×add-sqr-sqrt
1319×associate-*l/
1273×add-cube-cbrt
927×frac-times
915×flip3-- flip--
717×times-frac
580×frac-sub
556×prod-diff
513×add-exp-log
472×pow1
466×associate-*r/
456×add-cbrt-cube
394×add-log-exp
336×sqrt-div
313×expm1-log1p-u
312×log1p-expm1-u insert-posit16
280×associate-*r*
247×associate-/l/
229×associate-/r*
227×associate-*l*
198×flip-+ flip3-+
194×div-inv
181×sqrt-prod
179×fma-neg
178×cbrt-div
164×cbrt-prod
161×distribute-rgt-in distribute-lft-in
134×associate-/r/
132×associate-/l*
126×tan-quot
92×*-commutative
91×sub-neg
81×distribute-lft-out associate-+r+
75×distribute-lft-neg-in distribute-rgt-neg-in
63×frac-2neg clear-num
62×prod-exp
55×pow-prod-down
53×cbrt-unprod
48×neg-mul-1
42×pow1/3
36×div-exp
35×fma-udef
32×pow1/2
31×exp-prod
30×fma-def
29×cbrt-undiv
28×exp-sum
26×rem-sqrt-square diff-log
25×difference-of-squares sin-mult
24×pow-prod-up
23×exp-diff
22×associate--l+
21×rec-exp
19×cos-mult
18×pow-plus
16×sub-div associate--r+ div-sub frac-add
15×log-prod pow2 distribute-lft-out--
13×sum-log +-commutative unpow-prod-down
11×pow-flip associate-+l+ inv-pow rem-exp-log
10×neg-sub0
9×pow-pow
8×pow-exp distribute-neg-frac
6×pow-to-exp associate-+l-
5×difference-of-sqr-1 distribute-frac-neg
4×associate-+r- pow3 log-div
3×associate--l- sqr-sin un-div-inv unpow2 sqr-cos rem-cbrt-cube distribute-rgt-out
2×sqrt-unprod tan-sum distribute-rgt-out-- cos-sum 2-cos unpow1/3 log-pow associate--r- log1p-udef
1×pow-unpow log1p-expm1 rem-square-sqrt rem-log-exp expm1-def cos-2

localize3.6s

bsearch2.7s

end1.0ms