Details

simplify21.6m (34.5%)

series16.3m (26.2%)

Calls

2588 calls:

14.0s
(/ 1 (/ (+ i (* (+ c (* y (+ b (* y (+ a y))))) y)) (+ t (* (+ (* y (+ (* y (+ z (* x y))) 27464.7644705)) 230661.510616) y))))
6.4s
(/ (* (cbrt (+ (+ (* x y) (* z t)) (+ (* a b) (* i c)))) (cbrt (+ (pow (+ (* a b) (* i c)) 3) (pow (+ (* x y) (* z t)) 3)))) (cbrt (+ (* (+ (* z t) (* x y)) (+ (* z t) (* x y))) (- (* (+ (* i c) (* a b)) (+ (* i c) (* a b))) (* (+ (* z t) (* x y)) (+ (* i c) (* a b)))))))
2.4s
(/ (+ (* (* (- (sin x) (/ (sin y) 16.0)) (sqrt 2.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))) 2.0) (* (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (cos y) (/ (- 3.0 (sqrt 5.0)) 2.0))) 3.0))
1.9s
(log (sqrt (cbrt (exp (- x (/ 1.0 3.0))))))
1.4s
(+ (* (- b 0.5) (log c)) (+ (+ a (* i y)) (+ (+ (* x (log y)) z) t)))

prune11.8m (18.9%)

sample8.0m (12.8%)

Algorithm
538×intervals
Results
3.5m2626495×body80valid
57.6s511522×body80nan
39.0s47295×body1280valid
24.2s44365×body640valid
9.0s24571×body320valid
8.1s5804×body2560valid
4.8s13837×body160valid
1.3s1656×body10240exit
208.0ms705×body640nan
145.0ms460×body1280nan
121.0ms42×body5120valid
109.0ms370×body320nan
26.0ms233×body160nan

regimes2.0m (3.2%)

Accuracy

Total 228.1b remaining (43.7%)

Threshold costs 23.8b (4.6%)

15.5b40.2%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
13.4b48.9%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.5b59%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.2b30.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.7b10.3%Data.Colour.Matrix:determinant from colour-2.3.3, A

rewrite2.0m (3.2%)

Algorithm
896×rewrite-expression-head
Calls

2589 calls:

2.9s
(* (* x (sqrt (exp (+ (* (- (- (log 1.0) (* z 1.0)) (+ (* (/ (* z z) 1.0) (/ 1/2 1.0)) b)) a) (* y (- (log z) t)))))) (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* z 1.0) (* (/ (pow z 2) (pow 1.0 2)) 1/2))) b))))))
2.3s
(+ (+ (+ (+ (+ x y) y) x) z) x)
1.8s
(* (- y z) (/ (/ (cbrt (- t x)) (cbrt (- a z))) (/ (cbrt (- a z)) (cbrt (* (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (- t x)))))))
1.6s
(* (- y z) (/ (/ (cbrt (- t x)) (cbrt (- a z))) (/ (cbrt (- a z)) (cbrt (- t x)))))
1.0s
(* (/ (+ (pow 2.30753 3) (pow (* 0.27061 x) 3)) (* (- (* (* (- (* 0.27061 x) 2.30753) (- (* 0.27061 x) 2.30753)) (pow (* 0.27061 x) 2)) (pow 2.30753 4)) (+ (* (+ 0.99229 (* 0.04481 x)) x) 1.0))) (- (* (* 0.27061 x) (- (* 0.27061 x) 2.30753)) (* 2.30753 2.30753)))
Rules
84288×times-frac
63688×*-un-lft-identity
59495×add-sqr-sqrt
40375×add-cube-cbrt
25135×cbrt-prod
15898×associate-*r*
14567×cbrt-div
12887×add-exp-log
11149×frac-times
9705×add-cbrt-cube
8909×associate-*r/
8747×flip3-- flip--
8037×associate-*l/
7762×difference-of-squares
7550×distribute-lft-out--
7084×pow1
6297×sqrt-prod
5567×associate-/r/
5388×flip-+ flip3-+
5193×associate-*l*
4621×associate-/r*
4292×distribute-lft-out
4196×add-log-exp
3788×prod-exp
3515×frac-sub
3263×div-exp
3202×div-inv
3130×associate-/l*
2924×cbrt-unprod
2134×pow-prod-down
2102×cbrt-undiv
1933×unpow-prod-down
1830×frac-add
1763×sqrt-div
1440×unswap-sqr
1258×associate-/l/
1123×distribute-rgt-in distribute-lft-in
1113×log-prod
1088×distribute-rgt-neg-in distribute-lft-neg-in
1044×swap-sqr
1004×cube-prod
928×pow1/3
837×*-commutative
754×sub-neg
588×frac-2neg clear-num
581×sum-log
469×sqrt-pow1
398×sqr-pow
350×neg-mul-1
346×diff-log
330×associate--l+
326×1-exp
309×associate-+r+
307×rec-exp
305×pow-prod-up
303×pow-exp
299×+-commutative
288×associate-+l+
253×pow1/2
248×pow-sqr
238×pow-to-exp
219×pow-unpow
202×tanh-def
200×sub-div
193×log-pow
171×div-sub
137×cube-div
131×pow-plus
124×associate--r+
115×pow2
100×pow-pow
92×rem-sqrt-square
82×exp-sum
77×unpow3 cube-mult
76×distribute-rgt-out--
72×pow-flip
70×associate-+r-
69×log-div
67×un-div-inv
65×inv-pow
62×exp-prod
50×unpow2
44×rem-log-exp
39×rem-cube-cbrt
36×distribute-frac-neg
35×associate-+l-
31×distribute-rgt-out
30×neg-sub0
28×unsub-neg
24×distribute-lft-neg-out
22×sum-cubes
20×difference-cubes
18×exp-diff
17×sqrt-unprod
16×distribute-rgt-neg-out rem-exp-log
15×unpow-prod-up rem-cbrt-cube distribute-rgt1-in
13×rem-square-sqrt associate--r-
12×cos-sum cos-diff
11×neg-log sinh-def
10×associate--l- difference-of-sqr-1 cosh-def distribute-neg-frac
7×sqrt-pow2
5×distribute-lft1-in pow-div pow-sub count-2
4×mul-1-neg unpow1/3 distribute-neg-in diff-cos
2×pow3 exp-to-pow tan-quot
1×sqrt-undiv exp-neg pow-neg

localize29.9s (0.8%)

bsearch16.1s (0.4%)

end6.0ms (0.0%)