Details

simplify45.2m

Calls

20295 calls:

Slowest
2.6s
(/ (* (* (* 2 2) 2) (* (* c c) c)) (* (* (* (- (* (/ c b) a) b) 2) (* (- (* (/ c b) a) b) 2)) (* (- (* (/ c b) a) b) 2)))
2.5s
(/ (* (* (* (- (* (/ c b) a) b) (- (* (/ c b) a) b)) (- (* (/ c b) a) b)) (* (* 2 2) 2)) (* (* (* 2 a) (* 2 a)) (* 2 a)))
1.9s
(/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a)))
1.9s
(/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a)))
1.9s
(* (* (/ 1 (/ (* sin (* x cos)) (cos (* 2 x)))) (/ 1 (/ (* sin (* x cos)) (cos (* 2 x))))) (/ 1 (/ (* sin (* x cos)) (cos (* 2 x)))))

prune3.6m

sample2.6m

Algorithm
57×intervals
Results
48.3s243509×body80valid
34.1s206665×body80nan
27.0s20114×body1280valid
11.4s10467×body640valid
6.6s4272×body2560valid
4.1s4863×body320valid
2.1s2432×body160valid
1.5s16512×pre80true
134.0ms114×body5120valid

series51.6s

Calls

332 calls:

Slowest
971.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
796.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
735.0ms
(- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
729.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
716.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes17.5s

Accuracy

Total 26.2b remaining (21.7%)

Threshold costs 4.4b (3.7%)

6.5b14.6%Linear.Matrix:det33 from linear-1.19.1.3
4.3b0%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
3.8b84.1%NMSE problem 3.2.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.1b56.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite16.4s

Algorithm
101×rewrite-expression-head
Calls

340 calls:

Slowest
2.3s
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
1.9s
(- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
863.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5)))
535.0ms
(* (- (/ y (- (+ 1.0 t) z)) (/ z (- (+ 1.0 t) z))) (- a x))
515.0ms
(* (- (/ y (- (+ 1.0 t) z)) (/ z (- (+ 1.0 t) z))) a)
Rules
18942×times-frac
13166×*-un-lft-identity
12647×add-sqr-sqrt
11037×add-cube-cbrt
5531×prod-diff
2052×sqrt-prod
1729×add-exp-log
1240×add-cbrt-cube
1007×div-inv
1006×pow1
723×distribute-lft-out--
693×cbrt-prod
613×difference-of-squares
536×prod-exp
517×add-log-exp
512×associate-/r*
475×div-exp
473×associate-*r*
441×fma-neg
433×associate-*l*
414×distribute-lft-out
379×associate-/l*
356×cbrt-unprod
350×distribute-rgt-neg-in
340×expm1-log1p-u log1p-expm1-u insert-posit16
337×distribute-lft-neg-in
295×associate-/r/
279×pow-prod-down
261×flip3-- flip--
246×cbrt-undiv
158×distribute-rgt-in distribute-lft-in
145×exp-sum
132×associate-+r+
127×associate-*r/
117×unswap-sqr associate-*l/
111×neg-mul-1
102×1-exp rec-exp
100×swap-sqr
98×sub-neg
88×*-commutative
84×cbrt-div
77×frac-times
75×pow1/3
69×frac-2neg clear-num
65×associate-+l+
64×diff-log
63×frac-sub
62×log-prod log-pow
61×fma-def
59×pow-prod-up fma-udef frac-add
58×flip-+ flip3-+
49×associate-/l/ exp-prod
46×tan-quot sin-mult
44×sqrt-div
42×sqrt-pow1 pow1/2
41×pow-flip
40×inv-pow
38×rem-sqrt-square
37×sum-log
34×difference-of-sqr-1
33×cos-mult pow-sqr
24×unpow-prod-down
23×pow-plus
22×associate--l+ associate--r+
19×rem-exp-log
18×distribute-rgt-out--
14×div-sub associate-+l-
13×pow-unpow +-commutative sub-div
12×pow2 un-div-inv
10×hypot-def
9×exp-diff
8×associate--l- sqr-pow log-div
7×pow-exp
6×neg-sub0
5×pow3 pow-pow pow-to-exp
4×unpow-prod-up neg-log expm1-def
3×pow-div rem-cbrt-cube cos-2 distribute-rgt-out
2×associate-+r- tan-sum distribute-neg-frac unpow2 cos-sum distribute-frac-neg rem-log-exp e-exp-1
1×distribute-lft-neg-out sqrt-unprod

localize5.8s

bsearch2.0s

end1.0ms