Details

simplify24.2m

Calls

12969 calls:

Slowest
3.4s
(/ (* (* (* (- (* a (/ c b)) b) (- (* a (/ c b)) b)) (- (* a (/ c b)) b)) (* (* 2 2) 2)) (* (* (* 2 a) (* 2 a)) (* 2 a)))
2.0s
(/ (* (* (* 2 2) 2) (* (* c c) c)) (* (* (* (- (* a (/ c b)) b) 2) (* (- (* a (/ c b)) b) 2)) (* (- (* a (/ c b)) b) 2)))
1.6s
(/ (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos))))
1.6s
(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))))
1.6s
(/ (* (* (* (- (* a (/ c b)) b) (- (* a (/ c b)) b)) (- (* a (/ c b)) b)) (* (* 2 2) 2)) (* (* (* 2 2) 2) (* (* a a) a)))

sample3.8m

Algorithm
60×intervals
Results
1.8m335728×body80valid
32.4s206891×body80nan
31.0s21289×body1280valid
12.9s11060×body640valid
6.9s5429×body2560valid
3.9s5275×body320valid
1.3s2493×body160valid
1.3s16512×pre80true
166.0ms230×body5120valid

prune3.5m

series51.5s

Calls

356 calls:

Slowest
684.0ms
(* (* 1 (/ (- y z) (- t (- z 1.0)))) (- a x))
679.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
662.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
644.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
640.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

regimes31.1s

Accuracy

Total 40.9b remaining (27.1%)

11.8b-36.8%Linear.Matrix:det44 from linear-1.19.1.3
5.0b3.7%Linear.Matrix:det33 from linear-1.19.1.3
4.8b82.9%The quadratic formula (r1)
4.3b14%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite15.4s

Algorithm
103×rewrite-expression-head
Calls

356 calls:

Slowest
566.0ms
(/ (* x (* (* (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))))) y)
522.0ms
(* (- (sqrt (+ (* b b) (* (* c -4) a))) b) (/ 1 (* 2 a)))
422.0ms
(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
393.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))
279.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
Rules
6626×*-un-lft-identity
5704×times-frac
5086×add-sqr-sqrt
3176×add-cube-cbrt
2858×cbrt-div
2061×frac-times
1956×add-exp-log
1470×add-cbrt-cube
1323×associate-*l/
1176×pow1
1014×distribute-rgt-neg-in
997×associate-*r*
958×distribute-lft-out--
873×associate-*r/
862×associate-*l*
860×distribute-lft-neg-in
740×difference-of-squares
718×prod-exp
640×swap-sqr
627×add-log-exp
573×distribute-lft-out
541×cbrt-unprod
431×div-exp
401×pow-prod-down
395×cbrt-prod
360×associate-/r*
356×insert-posit16
335×flip3-- flip--
264×associate-/l*
255×cbrt-undiv
241×sqrt-prod
222×div-inv
207×neg-mul-1
172×frac-sub
165×unswap-sqr
153×associate-/r/
139×sub-neg
135×flip-+ flip3-+
120×log-prod
119×*-commutative
103×distribute-rgt-in distribute-lft-in
101×1-exp
87×rec-exp
86×diff-log
78×pow1/3
72×exp-prod
69×associate-/l/
66×sum-log pow-prod-up
62×frac-2neg clear-num
56×sqrt-div
41×associate-+r+
39×pow-flip inv-pow
38×pow-sqr
37×exp-sum
36×rem-exp-log
34×unpow-prod-down
33×log-pow
31×tan-quot
28×associate--l+
27×associate-+l+
26×exp-diff sqrt-pow1 +-commutative pow1/2
25×pow-plus
24×sin-mult associate--r+
23×distribute-frac-neg
22×rem-sqrt-square
21×div-sub
20×neg-sub0 cos-mult
18×difference-of-sqr-1
17×frac-add log-div
16×neg-log associate-+l-
15×pow-unpow
13×associate--l- pow2 sub-div un-div-inv
12×sqr-pow
8×distribute-neg-frac unpow2
7×pow-exp distribute-rgt-neg-out
6×pow-pow distribute-rgt-out--
5×associate-+r- pow-to-exp
4×pow3 cos-2 distribute-lft-neg-out sqr-neg rem-log-exp
3×unpow-prod-up
2×tan-sum cos-sum rem-cbrt-cube distribute-neg-in
1×remove-posit16 unpow1/2 sqrt-unprod exp-neg unpow1/3 e-exp-1 pow-sub

bsearch14.9s

localize6.7s

end1.0ms