Details

simplify22.3m (47.7%)

sample8.5m (18.3%)

Algorithm
538×intervals
Results
3.4m2649775×body80valid
54.3s506867×body80nan
39.6s46480×body1280valid
22.1s42700×body640valid
8.9s25229×body320valid
7.2s5420×body2560valid
3.5s13568×body160valid
1.4s1518×body10240exit
248.0ms48×body5120valid
216.0ms692×body640nan
148.0ms480×body1280nan
74.0ms402×body320nan
29.0ms255×body160nan

series6.3m (13.5%)

Calls

2498 calls:

4.6s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
3.3s
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
2.4s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
1.5s
(/ (- (* z (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.4s
(/ (+ x (/ (* y z) t)) (* (cbrt (+ (+ a 1.0) (* (* y b) (/ 1 t)))) (cbrt (+ (+ a 1.0) (* (* y b) (/ 1 t))))))

prune5.7m (12.2%)

rewrite2.3m (4.9%)

Algorithm
878×rewrite-expression-head
Calls

2498 calls:

2.9s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
2.8s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.5s
(* x (+ (+ (+ (+ y z) z) y) t))
1.2s
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5)))
1.1s
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
Rules
42580×times-frac
37605×*-un-lft-identity
35858×add-sqr-sqrt
24351×add-cube-cbrt
11242×add-exp-log
8722×add-cbrt-cube
7177×pow1
6759×associate-*r*
6237×sqrt-prod
5728×cbrt-prod
5637×cbrt-div
4191×frac-times
4140×associate-*l*
3942×difference-of-squares
3891×distribute-lft-out--
3821×add-log-exp
3572×associate-/r*
3516×associate-*r/
3236×prod-exp
3214×associate-*l/
2962×distribute-lft-out
2713×flip-+ flip3-+
2644×cbrt-unprod
2634×div-exp
2418×flip3-- flip--
2182×pow-prod-down
2160×div-inv
2143×associate-/l*
2128×associate-/r/
1834×unpow-prod-down
1720×log-prod
1710×cbrt-undiv
1488×unswap-sqr
1344×frac-sub
1293×distribute-rgt-in distribute-lft-in
1163×associate-/l/
1008×pow1/3
936×swap-sqr
920×sqrt-div
790×*-commutative
696×sub-neg
592×sqrt-pow1
520×clear-num frac-2neg
467×sum-log
395×sqr-pow
389×pow-prod-up
378×associate--l+
375×1-exp
348×rec-exp
327×exp-sum
301×pow-sqr cube-prod
300×associate-+r+
290×pow1/2
288×diff-log
279×associate-+l+
263×+-commutative
244×frac-add
183×pow-exp
175×log-pow
158×unpow-prod-up
153×pow-plus
131×unpow2
124×div-sub
115×pow2
113×pow-to-exp
100×pow-flip
98×rem-sqrt-square
96×pow-unpow
89×un-div-inv
86×inv-pow
79×tanh-def
72×log-div
67×associate--r+
65×rem-log-exp
55×pow-pow
44×associate-+l-
40×distribute-rgt-neg-out sinh-def
34×exp-prod
33×distribute-rgt-neg-in
31×distribute-lft-neg-in
27×distribute-rgt-out--
21×unsub-neg
20×unpow3 cube-mult
19×associate-+r- distribute-rgt-out
18×distribute-lft-neg-out cosh-def
16×sqrt-unprod sum-cubes
14×e-exp-1 rem-square-sqrt
13×associate--r-
11×difference-cubes rem-exp-log neg-mul-1
10×associate--l- sub-div
8×rem-cube-cbrt pow-sub
7×log-rec tan-quot
5×cube-div distribute-rgt1-in distribute-lft1-in count-2
4×exp-diff diff-cos
3×sqrt-undiv cos-diff neg-sub0 sin-mult cos-mult rem-cbrt-cube distribute-neg-frac exp-to-pow
2×cos-sum sqrt-pow2 pow3 neg-log
1×pow-div unpow1/3 exp-neg remove-double-div acos-asin mul-1-neg

regimes1.1m (2.4%)

Accuracy

Total 317.2b remaining (45.6%)

Threshold costs 21.5b (3.1%)

16.3b-256.7%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
12.3b60.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.1b-15.3%Linear.Matrix:det44 from linear-1.19.1.3
10.8b2.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
10.0b57.8%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

localize17.2s (0.6%)

bsearch11.5s (0.4%)

end6.0ms (0.0%)