Details

simplify32.5m (53.4%)

prune9.9m (16.3%)

sample7.4m (12.2%)

Algorithm
538×intervals
Results
3.3m2620898×body80valid
51.5s492703×body80nan
37.3s47295×body1280valid
21.8s44365×body640valid
7.6s24571×body320valid
6.9s5804×body2560valid
3.2s13837×body160valid
2.2s1656×body10240exit
544.0ms460×body1280nan
205.0ms705×body640nan
121.0ms42×body5120valid
68.0ms233×body160nan
65.0ms370×body320nan

series6.0m (9.9%)

Calls

2592 calls:

4.1s
(- (* (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* x y) (/ (* z t) 16.0))) (* (/ (* a b) 4.0) (* (/ (* a b) 4.0) (/ (* a b) 4.0))))
3.2s
(/ (+ 2.0 (* (* (* (sqrt (sqrt 2.0)) (* (sqrt (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)))))
2.6s
(/ (- (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (/ (* z (sqrt (+ t a))) (cbrt t))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.5s
(- (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (/ (* z (sqrt (+ t a))) (cbrt t))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
2.3s
(/ (+ 2.0 (* (* (* (sqrt (sqrt 2.0)) (* (sqrt (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 (sqrt 5.0)) 2.0) (cos y)))))

regimes2.2m (3.6%)

Accuracy

Total 185.1b remaining (34.8%)

Threshold costs 25.6b (4.8%)

13.4b56.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.6b59.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.4b62.6%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.2b63.2%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
6.3b36.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite2.2m (3.6%)

Algorithm
906×rewrite-expression-head
Calls

2594 calls:

4.7s
(* (/ (+ (* 2.30753 (* 2.30753 2.30753)) (* (* x 0.27061) (* (* x 0.27061) (* x 0.27061)))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ (* (* (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* (* x 0.27061) (- (* x 0.27061) 2.30753))) (* (* x 0.27061) (- (* x 0.27061) 2.30753))) (* (* 2.30753 2.30753) (* (* 2.30753 2.30753) (* 2.30753 2.30753)))))) (+ (* (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* (* x 0.27061) (- (* x 0.27061) 2.30753))) (- (* (* 2.30753 2.30753) (* 2.30753 2.30753)) (* (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753)))))
2.5s
(* (/ (+ (* 2.30753 (* 2.30753 2.30753)) (* (* x 0.27061) (* (* x 0.27061) (* x 0.27061)))) (* (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))) (- (* (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* (* x 0.27061) (- (* x 0.27061) 2.30753))) (* (* 2.30753 2.30753) (* 2.30753 2.30753))))) (* (- 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753))))
2.4s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.2s
(/ (+ (* 2.30753 (* 2.30753 2.30753)) (* (* x 0.27061) (* (* x 0.27061) (* x 0.27061)))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ (* (* (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* (* x 0.27061) (- (* x 0.27061) 2.30753))) (* (* x 0.27061) (- (* x 0.27061) 2.30753))) (* (* 2.30753 2.30753) (* (* 2.30753 2.30753) (* 2.30753 2.30753))))))
1.1s
(* (* x (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b)))))) (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (- (log 1.0) (* 1.0 z)) (* (* (/ z 1.0) (/ z 1.0)) 1/2)) b))))))
Rules
96109×times-frac
85173×*-un-lft-identity
64008×sqrt-prod
55340×add-sqr-sqrt
42854×add-cube-cbrt
18329×distribute-lft-out
12445×add-exp-log
9882×add-cbrt-cube
8461×pow1
6890×cbrt-prod
6501×associate-*r*
4878×distribute-lft-out--
4838×cbrt-div
4590×associate-*l*
4498×associate-/r/
4475×associate-/r*
4335×difference-of-squares
4263×frac-times
4078×add-log-exp
3758×prod-exp
3662×associate-*l/
3601×flip-+ flip3-+
3501×associate-*r/
3301×flip3-- flip--
3239×cbrt-unprod
3215×div-inv
2847×div-exp
2626×pow-prod-down
2541×associate-/l*
2095×sqrt-div
2066×cbrt-undiv
1505×frac-sub
1479×unswap-sqr
1460×swap-sqr
1431×log-prod
1122×pow1/3
1114×distribute-rgt-in distribute-lft-in
915×frac-add
907×associate-/l/
859×*-commutative
784×sub-neg
582×pow-prod-up
557×frac-2neg clear-num
516×sum-log
438×pow-sqr
394×sqrt-pow1
381×associate--l+
330×1-exp
329×rec-exp
328×diff-log
293×pow-plus
281×+-commutative
275×associate-+r+
242×tanh-def
223×exp-sum
209×log-pow
198×pow1/2
197×pow2
185×cube-unmult
165×associate-+l+
125×div-sub
121×unpow-prod-down
98×exp-prod
92×rem-sqrt-square
82×distribute-rgt-out--
79×pow-flip log-div
73×pow-exp
72×associate--r+
70×difference-cubes
69×rem-log-exp
65×inv-pow
60×pow-unpow
47×un-div-inv
45×distribute-rgt-out
38×pow3
36×rem-exp-log
35×pow-pow pow-to-exp
31×sum-cubes associate-+l-
30×distribute-rgt-neg-in
29×distribute-lft-neg-out sqr-pow
26×sub-div
25×associate-+r-
24×distribute-lft-neg-in
23×cos-mult
19×exp-diff
17×sinh-def
16×rem-cbrt-cube
15×cosh-def
14×unsub-neg
12×neg-mul-1 associate--r-
9×sqrt-unprod distribute-rgt1-in
8×rem-square-sqrt sqr-cos
7×distribute-lft1-in count-2
6×rem-cube-cbrt distribute-rgt-neg-out cos-diff diff-cos
5×unpow1/3
4×sqrt-undiv pow-div associate--l- cos-sum
3×cube-prod unpow3 sin-mult cube-mult exp-to-pow
2×neg-sub0 tan-quot
1×sin-cos-mult exp-neg neg-log distribute-neg-in

localize30.3s (0.8%)

bsearch6.9s (0.2%)

end5.0ms (0.0%)