Details

simplify28.2m (47.2%)

prune9.8m (16.4%)

series8.7m (14.6%)

Calls

2516 calls:

2.3m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
6.6s
(log (/ (+ (* (* (- (* (* 1.0 (* 1.0 1.0)) (* 1.0 (* 1.0 1.0))) (* (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y))) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y))))) (- 1.0 y)) (- (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* 1.0 1.0))) (* (+ (* 1.0 (* 1.0 1.0)) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y)))) (* (- (* (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0))) (* (* 1.0 1.0) (* 1.0 1.0))) y))) (* (+ (* 1.0 (* 1.0 1.0)) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y)))) (- (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* 1.0 1.0)))))
4.5s
(+ (* (* z t) (* (+ (* z t) (* x y)) (+ (* z t) (* x y)))) (+ (* (* x y) (* (+ (* z t) (* x y)) (+ (* z t) (* x y)))) (* (* (* b a) (* b a)) (* b a))))
4.0s
(+ (* (* (+ (* z t) (* x y)) (+ (* z t) (* x y))) (+ (* z t) (* x y))) (* (* (* b a) (* b a)) (* b a)))
3.1s
(/ (+ 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)))))

sample7.9m (13.3%)

Algorithm
539×intervals
Results
3.5m2650319×body80valid
54.7s514408×body80nan
40.7s46471×body1280valid
22.6s44129×body640valid
9.5s24918×body320valid
7.6s5679×body2560valid
2.8s13435×body160valid
2.2s1559×body10240exit
258.0ms675×body640nan
229.0ms478×body1280nan
122.0ms43×body5120valid
76.0ms438×body320nan
28.0ms258×body160nan

regimes2.2m (3.7%)

Accuracy

Total 197.3b remaining (35.9%)

Threshold costs 29.2b (5.3%)

13.0b59.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.0b-10.4%Linear.Matrix:det44 from linear-1.19.1.3
10.0b57.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.4b49.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
7.9b60.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite2.2m (3.7%)

Algorithm
880×rewrite-expression-head
Calls

2516 calls:

8.0s
(/ (+ (* (* (- (* (* 1.0 (* 1.0 1.0)) (* 1.0 (* 1.0 1.0))) (* (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y))) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y))))) (- 1.0 y)) (- (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* 1.0 1.0))) (* (+ (* 1.0 (* 1.0 1.0)) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y)))) (* (- (* (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0))) (* (* 1.0 1.0) (* 1.0 1.0))) y))) (* (+ (* 1.0 (* 1.0 1.0)) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y)))) (- (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* 1.0 1.0))))
2.8s
(+ (* (* (- (* (* 1.0 (* 1.0 1.0)) (* 1.0 (* 1.0 1.0))) (* (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y))) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y))))) (- 1.0 y)) (- (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* 1.0 1.0))) (* (+ (* 1.0 (* 1.0 1.0)) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y)))) (* (- (* (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0))) (* (* 1.0 1.0) (* 1.0 1.0))) y)))
2.5s
(log (/ (+ (* (* (- (* (* 1.0 (* 1.0 1.0)) (* 1.0 (* 1.0 1.0))) (* (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y))) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y))))) (- 1.0 y)) (- (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* 1.0 1.0))) (* (+ (* 1.0 (* 1.0 1.0)) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y)))) (* (- (* (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0))) (* (* 1.0 1.0) (* 1.0 1.0))) y))) (* (+ (* 1.0 (* 1.0 1.0)) (* (* (/ x (- 1.0 y)) (/ x (- 1.0 y))) (/ x (- 1.0 y)))) (- (* (/ x (- 1.0 y)) (+ (/ x (- 1.0 y)) 1.0)) (* 1.0 1.0)))))
2.4s
(+ (+ (+ (+ (+ x y) y) x) z) x)
2.2s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
Rules
62034×times-frac
54399×*-un-lft-identity
42868×add-sqr-sqrt
31805×add-cube-cbrt
28049×sqrt-prod
12364×add-exp-log
10933×cbrt-prod
9505×add-cbrt-cube
8753×pow1
8284×distribute-lft-out
7414×associate-*r/
7248×associate-*l/
5914×associate-*r*
5906×frac-times
4852×associate-*l*
4690×cbrt-div
4256×frac-sub
3983×distribute-lft-out--
3962×prod-exp
3882×add-log-exp
3761×difference-of-squares
3465×flip3-- flip--
3346×associate-/r*
3305×cbrt-unprod
2928×associate-/l*
2772×div-exp
2770×associate-/r/
2655×tanh-def
2522×pow-prod-down
2280×div-inv
2197×flip-+ flip3-+
1984×cbrt-undiv
1622×sqrt-div
1375×unswap-sqr
1110×log-prod
1100×pow-prod-up
1022×distribute-rgt-in distribute-lft-in
992×swap-sqr
989×sqrt-pow1
965×pow1/3
826×*-commutative
801×associate-/l/
729×sub-neg
694×frac-add
577×pow-sqr
507×frac-2neg clear-num
496×pow1/2
480×sum-log
378×pow-plus
304×log-pow
299×1-exp
295×associate--l+
289×diff-log
285×rec-exp
272×+-commutative
268×associate-+r+
265×pow2
193×associate-+l+
180×exp-prod
114×div-sub
104×pow3 log-div
101×rem-sqrt-square
98×cube-unmult
87×unpow-prod-down
82×pow-exp
70×pow-unpow
68×rem-log-exp
66×pow-flip
64×associate--r+
60×inv-pow
58×sum-cubes
50×distribute-rgt-neg-in un-div-inv
47×distribute-lft-neg-in
46×exp-sum
39×pow-pow
38×rem-exp-log
37×distribute-rgt-out--
34×distribute-rgt-neg-out
31×distribute-rgt-out
30×pow-to-exp
29×associate-+l-
27×associate-+r-
23×sub-div difference-cubes
21×sqrt-unprod
19×neg-mul-1
18×sqr-pow
16×unsub-neg
15×rem-cbrt-cube
14×exp-diff
13×distribute-lft-neg-out cos-mult cosh-def rem-square-sqrt
11×associate--l-
10×sinh-def
9×associate--r-
8×unpow1/3
7×distribute-lft1-in tan-quot count-2 distribute-rgt1-in
6×cube-prod sqr-cos
5×sqrt-undiv pow-div
4×exp-neg diff-cos
3×neg-sub0 neg-log sin-mult cos-diff
2×exp-to-pow cos-sum cube-div
1×rem-cube-cbrt unpow3 cube-mult distribute-neg-in

localize29.7s (0.8%)

bsearch9.4s (0.3%)

end5.0ms (0.0%)