Details

simplify8.1m

Calls

4219 calls:

Slowest
1.2s
(/ (- (* f (+ f n)) (* (+ f n) n)) (+ f n))
987.0ms
(/ (* (* (/ 1 (tan B)) (/ 1 (tan B))) (/ 1 (tan B))) (* (* (/ 1 x) (/ 1 x)) (/ 1 x)))
965.0ms
(sqrt (- (pow (* b b) 3) (pow (* (* 4 a) c) 3)))
906.0ms
(/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a)))
889.0ms
(/ (- (* f (+ f n)) (* (+ f n) n)) (+ f n))

sample3.0m

Algorithm
58×intervals
Results
1.4m327394×body80valid
28.8s197700×body80nan
25.0s21440×body1280valid
11.3s11013×body640valid
6.5s5291×body2560valid
3.7s5244×body320valid
1.2s16512×pre80true
1.0s2507×body160valid
162.0ms217×body5120valid

prune2.0m

series30.3s

Calls

326 calls:

Slowest
461.0ms
(/ (+ (* (+ (tan y) (tan z)) (cos a)) (- (* (- 1 (* (tan y) (tan z))) (sin a)))) (* (- 1 (* (tan y) (tan z))) (cos a)))
460.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
407.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (log (exp (* (tan y) (tan z))))) (cos a)))
348.0ms
(* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x))
347.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* y (+ b (* (+ y a) y))) c) y) i)))

regimes26.4s

Accuracy

Total 31.3b remaining (21.8%)

9.4b-5.5%Linear.Matrix:det44 from linear-1.19.1.3
4.5b84%The quadratic formula (r1)
3.7b4.1%Linear.Matrix:det33 from linear-1.19.1.3
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.9b62.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

bsearch6.2s

rewrite4.4s

Algorithm
96×rewrite-expression-head
Calls

326 calls:

Slowest
269.0ms
(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (/ 1 (+ (* (+ (* y (+ b (* (+ y a) y))) c) y) i))))
216.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
203.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
200.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
100.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
Rules
881×add-sqr-sqrt
874×*-un-lft-identity
812×add-cube-cbrt
605×add-exp-log
527×add-cbrt-cube
497×pow1
494×add-log-exp
383×times-frac
361×cbrt-div
350×flip3-- flip--
326×insert-posit16
312×associate-*l*
282×associate-*r*
271×frac-times
255×associate-*l/
226×associate-*r/
219×cbrt-prod
196×flip-+ associate-/r* flip3-+
177×associate-/r/
143×div-inv
132×sub-neg
115×associate-/l*
106×*-commutative
99×sqrt-prod
90×prod-exp
86×sqrt-div
79×cbrt-unprod distribute-rgt-in distribute-lft-in
69×pow-prod-down
64×associate-/l/
59×frac-2neg clear-num
56×tan-quot
53×frac-sub
52×frac-add
51×div-exp
50×pow1/3 diff-log
48×exp-prod
45×log-prod
43×cbrt-undiv
40×sum-log
38×exp-sum
32×pow1/2
29×rec-exp
28×sin-mult
27×distribute-lft-neg-in distribute-rgt-neg-in rem-sqrt-square
26×exp-diff
23×associate-+r+
22×cos-mult associate--l+ +-commutative
20×distribute-lft-out-- associate-+l- log-div
19×difference-of-squares sub-div unpow-prod-down
18×log-pow
17×associate-+l+ distribute-lft-out un-div-inv
15×pow-flip neg-sub0 inv-pow div-sub
14×distribute-neg-frac rem-exp-log
9×associate--l- neg-mul-1
8×distribute-rgt-out-- rem-log-exp
7×associate--r+ pow-prod-up
5×pow2 difference-of-sqr-1 pow-plus
4×associate-+r- pow-unpow pow-pow unpow2
3×pow-exp pow-to-exp
2×unpow-prod-up distribute-frac-neg neg-log tan-sum exp-to-pow cos-sum distribute-neg-in unsub-neg associate--r-
1×distribute-lft-neg-out sqrt-unprod exp-neg pow-sub cos-2 distribute-rgt-out

localize3.3s

end1.0ms