Details

simplify28.5m (49.4%)

prune9.6m (16.7%)

sample8.6m (14.9%)

Algorithm
538×intervals
Results
3.2m2620898×body80valid
53.1s492703×body80nan
35.8s47295×body1280valid
23.3s44365×body640valid
9.5s24571×body320valid
6.8s5804×body2560valid
3.6s13837×body160valid
1.7s1656×body10240exit
529.0ms705×body640nan
143.0ms460×body1280nan
116.0ms42×body5120valid
107.0ms370×body320nan
28.0ms233×body160nan

series5.8m (10.1%)

Calls

2563 calls:

3.3s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (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.9s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (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.6s
(/ (+ 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)))))
1.9s
(/ (+ 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)))))
1.8s
(/ (+ 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 (sqrt 5.0)) 2.0) (cos y)))))

rewrite2.3m (4.0%)

Algorithm
903×rewrite-expression-head
Calls

2565 calls:

4.8s
(* (* (- (/ (* 3.0 3.0) (/ (+ (* 3.0 (* 3.0 3.0)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) x)) (/ (* (* x 2.0) (* x 2.0)) (/ (+ (* 3.0 (* 3.0 3.0)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) x))) x) (+ (* 3.0 3.0) (- (* (* x 2.0) (* x 2.0)) (* 3.0 (* x 2.0)))))
4.1s
(* (sqrt (+ (+ (+ (+ x y) (+ x y)) z) x)) (sqrt (+ (+ (+ (+ x y) (+ x y)) z) x)))
3.4s
(* (/ (/ (+ (* 2.30753 (* 2.30753 2.30753)) (* (* (* x 0.27061) (* x 0.27061)) (* x 0.27061))) (- (* (- (* 0.27061 x) 2.30753) (* (- (* 0.27061 x) 2.30753) (* (* x 0.27061) (* x 0.27061)))) (* (* 2.30753 2.30753) (* 2.30753 2.30753)))) (+ (* (* x (+ 0.99229 (* 0.04481 x))) (* (* x (+ 0.99229 (* 0.04481 x))) (* x (+ 0.99229 (* 0.04481 x))))) (* (* 1.0 1.0) 1.0))) (* (+ (* 1.0 1.0) (- (* (* (+ (* x 0.04481) 0.99229) x) (* (+ (* x 0.04481) 0.99229) x)) (* 1.0 (* (+ (* x 0.04481) 0.99229) x)))) (- (* (- (* x 0.27061) 2.30753) (* x 0.27061)) (* 2.30753 2.30753))))
3.4s
(* (/ (/ (+ (* 2.30753 (* 2.30753 2.30753)) (* (* (* x 0.27061) (* x 0.27061)) (* x 0.27061))) (+ (* (* (* (- (* x 0.27061) 2.30753) (* x 0.27061)) (* (- (* x 0.27061) 2.30753) (* x 0.27061))) (* (- (* x 0.27061) 2.30753) (* x 0.27061))) (* (* 2.30753 (* 2.30753 2.30753)) (* 2.30753 (* 2.30753 2.30753))))) (- (* 1.0 1.0) (* (* (+ (* x 0.04481) 0.99229) x) (* (+ (* x 0.04481) 0.99229) x)))) (* (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ (* (* 2.30753 2.30753) (* 2.30753 2.30753)) (- (* (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))) (* (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))))))))
2.6s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
Rules
52484×times-frac
45579×*-un-lft-identity
41282×add-sqr-sqrt
28040×add-cube-cbrt
11847×add-exp-log
9654×add-cbrt-cube
8417×pow1
6846×sqrt-prod
6613×associate-*r*
6368×cbrt-prod
5935×cbrt-div
5017×distribute-lft-out--
4996×difference-of-squares
4773×associate-*l*
4165×distribute-lft-out
4120×add-log-exp
3881×associate-/r*
3822×frac-times
3570×prod-exp
3559×flip3-- flip--
3240×associate-*l/
3130×associate-/r/
3119×cbrt-unprod
3086×associate-*r/
2606×pow-prod-down
2595×div-exp
2546×div-inv
2440×associate-/l*
2323×flip-+ flip3-+
1963×cbrt-undiv
1434×swap-sqr
1370×unswap-sqr
1341×log-prod
1186×frac-sub
1127×pow1/3
1013×distribute-rgt-in distribute-lft-in
858×*-commutative
786×associate-/l/
719×unpow-prod-down
710×sub-neg
648×sqrt-div
644×pow-prod-up
615×cube-prod
581×sum-log
538×frac-2neg clear-num
512×sqrt-pow1
430×sqr-pow
426×pow-sqr
333×diff-log
322×associate--l+
306×pow-plus
289×1-exp
281×rec-exp
275×+-commutative frac-add
251×associate-+r+
242×tanh-def
239×log-pow
222×pow1/2
221×exp-sum
193×pow3 pow2
190×cube-unmult
152×associate-+l+
124×div-sub
118×difference-cubes
103×sum-cubes
95×distribute-rgt-out--
88×exp-prod
80×rem-sqrt-square
74×pow-flip
71×log-div
70×pow-exp
66×associate--r+
62×inv-pow
53×pow-unpow rem-log-exp
42×un-div-inv
41×sub-div distribute-rgt-out
37×distribute-lft-neg-in distribute-rgt-neg-in
35×rem-exp-log
32×pow-to-exp pow-pow associate-+l-
31×associate-+r-
23×cos-mult
21×distribute-rgt-neg-out
19×distribute-lft-neg-out exp-diff
17×sinh-def
16×neg-mul-1
14×unsub-neg
13×sqrt-unprod cosh-def rem-cbrt-cube
11×associate--r-
10×rem-square-sqrt
9×distribute-rgt1-in
8×sqr-cos
7×distribute-lft1-in associate--l-
6×rem-cube-cbrt cos-diff count-2
5×unpow1/3 diff-cos
4×cos-sum
3×unpow3 sin-mult cube-mult exp-to-pow
2×sqrt-undiv tan-quot
1×neg-sub0 sin-cos-mult exp-neg

regimes2.2m (3.7%)

Accuracy

Total 190.6b remaining (35.8%)

Threshold costs 26.9b (5%)

13.4b56.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.5b52.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
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

localize29.5s (0.9%)

bsearch12.6s (0.4%)

end5.0ms (0.0%)