Details

simplify44.5m

Calls

21980 calls:

Slowest
2.4s
(/ (* (* (* (- (* (/ c b) a) b) (- (* (/ c b) a) b)) (- (* (/ c b) a) b)) (* (* 2 2) 2)) (* (* (* 2 a) (* 2 a)) (* 2 a)))
2.3s
(/ (* (* (* (- (* (/ c b) a) b) (- (* (/ c b) a) b)) (- (* (/ c b) a) b)) (* (* 2 2) 2)) (* (* (* 2 a) (* 2 a)) (* 2 a)))
1.4s
(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos)))))
1.4s
(/ (* (* (* (- (* (/ c b) a) b) (- (* (/ c b) a) b)) (- (* (/ c b) a) b)) (* (* 2 2) 2)) (* (* (* 2 2) 2) (* (* a a) a)))
1.4s
(/ (* (* (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)))))

prune4.1m

sample2.2m

Algorithm
53×intervals
Results
40.3s214430×body80valid
31.7s187253×body80nan
25.0s20070×body1280valid
9.3s9445×body640valid
5.7s4250×body2560valid
3.8s4355×body320valid
1.8s16512×pre80true
1.8s2085×body160valid
150.0ms103×body5120valid

series1.0m

Calls

282 calls:

Slowest
4.0s
(fma (- (* (* y (* z x)) 18.0) (* a 4.0)) t (- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i))))
4.0s
(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma (* k j) 27.0 (* (* x 4.0) i))))
3.9s
(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
3.8s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
3.8s
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t))))

rewrite33.4s

Algorithm
90×rewrite-expression-head
Calls

286 calls:

Slowest
4.6s
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
3.5s
(/ y (* (cbrt x) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
1.3s
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
993.0ms
(- (/ (sqrt (+ a t)) (/ t z)) (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))
948.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
Rules
45420×add-sqr-sqrt
40790×*-un-lft-identity
34205×times-frac
32561×add-cube-cbrt
29829×associate-/r*
28926×frac-times
12685×prod-diff
11839×associate-/l*
10426×associate-*l*
10002×cbrt-div
9699×distribute-rgt-neg-in
9582×distribute-lft-neg-in
8519×sqrt-prod
7684×associate-*r*
6060×associate-/l/
5174×unswap-sqr
3562×cbrt-prod
3359×clear-num
3301×frac-2neg
3279×frac-sub
3192×neg-mul-1
2710×associate-*l/
2609×swap-sqr
2173×distribute-lft-out--
2118×difference-of-squares
1567×*-commutative
1541×div-inv
1456×distribute-lft-out
1417×flip3-- flip--
1415×frac-add
1337×add-exp-log
1154×associate-*r/
1054×add-cbrt-cube
974×pow1
855×distribute-rgt-in distribute-lft-in
689×exp-sum
539×fma-neg
457×associate-/r/
435×add-log-exp
432×prod-exp
340×cbrt-unprod
316×div-exp
309×log-prod
298×associate-+r+
286×expm1-log1p-u log1p-expm1-u insert-posit16
261×pow-prod-down
260×sqrt-div
250×flip-+ flip3-+
233×associate--l+
192×un-div-inv
185×tan-quot
174×cbrt-undiv
148×associate-+l+
95×pow-prod-up
91×exp-prod
82×1-exp
81×rec-exp
67×sub-neg
56×diff-log
51×fma-udef log-pow pow-sqr
46×pow1/3
44×sub-div
43×pow-flip
40×pow-plus
39×inv-pow
38×+-commutative
32×sqrt-pow1 pow1/2
29×sum-log
27×unpow-prod-down
25×difference-of-sqr-1 rem-exp-log
24×pow2
23×associate--r+ fma-def rem-sqrt-square
21×pow-unpow sin-mult
18×cos-mult
14×div-sub
12×log-div
10×exp-diff pow3
9×neg-sub0 associate--l- associate-+l-
5×neg-log remove-double-div
4×pow-exp pow-pow tan-sum distribute-rgt-out-- cos-sum rem-cbrt-cube
3×sqr-pow pow-to-exp rem-log-exp cos-2
2×sqrt-unprod distribute-neg-frac distribute-frac-neg
1×associate-+r- unpow1/2 unpow2 hypot-def

regimes14.7s

Accuracy

Total 21.5b remaining (19%)

5.2b-1.1%Linear.Matrix:det33 from linear-1.19.1.3
4.5b84.2%NMSE problem 3.2.1
3.1b49.4%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
3.0b37.6%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
1.6b48.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

localize4.4s

bsearch1.8s

end1.0ms