Details

simplify30.5m

Calls

13461 calls:

Slowest
3.1s
(/ (* (* (* (/ 1 (* x cos)) (/ 1 (* x cos))) (/ 1 (* x cos))) (* (* (/ (cos (* 2 x)) sin) (/ (cos (* 2 x)) sin)) (/ (cos (* 2 x)) sin))) (* (* (* (* x x) x) (* (* cos cos) cos)) (* (* sin sin) sin)))
3.0s
(/ (* (* (* (/ 1 (* x cos)) (/ (cos (* 2 x)) sin)) (* (/ 1 (* x cos)) (/ (cos (* 2 x)) sin))) (* (/ 1 (* x cos)) (/ (cos (* 2 x)) sin))) (* (* (* (* x cos) sin) (* (* x cos) sin)) (* (* x cos) sin)))
2.9s
(/ (* (* (* (/ 1 (* x cos)) (/ 1 (* x cos))) (/ 1 (* x cos))) (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* sin sin) sin))) (* (* (* (* x cos) (* x cos)) (* x cos)) (* (* sin sin) sin)))
2.8s
(/ (* (* (* (/ 1 (* x cos)) (/ 1 (* x cos))) (/ 1 (* x cos))) (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* sin sin) sin))) (* (* (* (* x cos) sin) (* (* x cos) sin)) (* (* x cos) sin)))
2.6s
(/ (* (* (* (/ 1 (* x cos)) (/ 1 (* x cos))) (/ 1 (* x cos))) (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* sin sin) sin))) (* (* (* (* x x) x) (* (* cos cos) cos)) (* (* sin sin) sin)))

sample4.0m

Algorithm
59×intervals
Results
1.9m322061×body80valid
36.5s206243×body80nan
30.2s21621×body1280valid
11.3s11009×body640valid
7.3s5289×body2560valid
3.6s5018×body320valid
1.2s16512×pre80true
1.1s2464×body160valid
213.0ms228×body5120valid

prune3.2m

series51.9s

Calls

336 calls:

Slowest
915.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
848.0ms
(* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x))
750.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
745.0ms
(* (* (* (- y z) (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (/ 1 (cbrt (- (+ t 1.0) z)))) (- a x))
671.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes35.4s

Accuracy

Total 35.5b remaining (25.1%)

Threshold costs 7.8b (5.5%)

11.5b-7.8%Linear.Matrix:det44 from linear-1.19.1.3
6.9b30.4%Linear.Matrix:det33 from linear-1.19.1.3
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.2b34.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
1.8b59.3%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite28.4s

Algorithm
100×rewrite-expression-head
Calls

340 calls:

Slowest
6.2s
(/ (+ (* (+ (* (+ (* (* (* (* (cbrt (cbrt (* (+ (* x y) z) y))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (* (* (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))
3.2s
(* (* (* (- y z) (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (/ 1 (cbrt (- (+ t 1.0) z)))) (- a x))
2.4s
(/ (+ (* (+ (* (+ (* (* (* (* (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))
1.1s
(/ y (* x (* (* (cbrt (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))
1.1s
(/ (+ (* (* i c) (* (* i c) (* i c))) (* (* (+ (* z t) (+ (* a b) (* x y))) (+ (* z t) (+ (* a b) (* x y)))) (+ (* z t) (+ (* a b) (* x y))))) (- (+ (* (+ (+ (* z t) (* a b)) (* x y)) (+ (+ (* z t) (* a b)) (* x y))) (* (* i c) (* i c))) (* (* i c) (+ (+ (* z t) (* a b)) (* x y)))))
Rules
3321×times-frac
3285×add-sqr-sqrt
3164×*-un-lft-identity
2654×add-exp-log
2263×add-cube-cbrt
1608×add-cbrt-cube
1117×pow1
1063×prod-exp
734×div-exp
677×associate-*r*
596×cbrt-unprod
557×add-log-exp
541×associate-*l*
506×frac-times
402×associate-*l/
395×flip3-- flip--
384×associate-*r/
358×pow-prod-down
348×cbrt-undiv
340×insert-posit16
319×distribute-lft-out--
302×associate-/r*
297×difference-of-squares
281×cbrt-prod
261×cbrt-div
256×distribute-rgt-neg-in
252×sqrt-prod
246×tan-quot
236×distribute-lft-neg-in
232×associate-/l*
198×frac-sub
178×div-inv
165×unswap-sqr
156×distribute-lft-out
150×associate-/r/
148×1-exp rec-exp
128×sub-neg
119×distribute-rgt-in distribute-lft-in
118×log-prod *-commutative
117×flip-+ flip3-+
104×exp-diff
75×neg-mul-1
74×sqrt-div
72×exp-prod diff-log
61×frac-add
59×pow1/3
57×frac-2neg clear-num
51×associate-/l/
50×log-pow
48×sum-log
45×associate-+r+
42×swap-sqr
35×pow-prod-up pow-sqr
34×sqrt-pow1 pow-unpow associate--l+ pow1/2
32×rem-sqrt-square
30×exp-sum rem-exp-log
27×associate-+l+ sin-mult associate--r+
25×cos-mult un-div-inv
20×unpow-prod-down
19×+-commutative
17×pow-flip pow-plus
15×inv-pow
14×associate-+l-
12×neg-sub0 sub-div div-sub
11×log-div
10×pow2 neg-log associate--l- pow-pow
7×sqr-pow
6×pow-exp pow3
5×cube-unmult pow-to-exp sum-cubes
4×difference-of-sqr-1 distribute-neg-in rem-log-exp
3×associate-+r- distribute-frac-neg exp-to-pow cos-2
2×unpow-prod-up tan-sum distribute-neg-frac cos-sum
1×distribute-lft-neg-out difference-of-sqr--1 pow-neg sub0-neg sqrt-unprod exp-neg unpow2 distribute-rgt-out-- rem-cbrt-cube pow-sub

localize6.2s

bsearch5.7s

end1.0ms