Details

simplify45.7m (64.8%)

sample9.6m (13.6%)

Algorithm
537×intervals
Results
3.9m2640477×body80valid
1.1m526270×body80nan
45.2s46562×body1280valid
24.0s44101×body640valid
10.1s24686×body320valid
7.5s5558×body2560valid
3.3s13515×body160valid
1.7s1519×body10240exit
198.0ms662×body640nan
188.0ms489×body1280nan
105.0ms35×body5120valid
88.0ms423×body320nan
32.0ms223×body160nan

prune6.5m (9.3%)

series5.7m (8.1%)

Calls

2265 calls:

2.1s
(/ (/ (fma (log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) 3.0) (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)))
1.9s
(/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) 3.0) (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)))
1.7s
(* (cbrt (fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t)))) (cbrt (fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t)))))
1.4s
(* (cbrt (+ (log (+ x y)) (log z))) (cbrt (+ (log (+ x y)) (log z))))
1.4s
(/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) 3.0) (fma (cos y) (/ (- 3.0 (sqrt 5.0)) 2.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)))

rewrite1.4m (2.0%)

Algorithm
861×rewrite-expression-head
Calls

2265 calls:

1.0s
(* x (/ (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))) y))
933.0ms
(* (* x (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))))) (/ (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) y))
738.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (fma (fma (+ y a) y b) y c) (* (cbrt y) (cbrt y))) (cbrt y)) i))
696.0ms
(* (* (/ y (* (cbrt (- a t)) (cbrt (- a t)))) (* (cbrt (/ (- z t) (cbrt (- a t)))) (cbrt (/ (- z t) (cbrt (- a t)))))) (cbrt (/ (- z t) (cbrt (- a t)))))
650.0ms
(* (* x (sqrt (pow z y))) (/ (sqrt (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))) y))
Rules
71187×times-frac
58844×*-un-lft-identity
55873×add-sqr-sqrt
43227×add-cube-cbrt
17405×prod-diff
9292×add-exp-log
9221×associate-*r*
7432×sqrt-prod
7318×add-cbrt-cube
6296×cbrt-prod
5572×pow1
5125×difference-of-squares
4748×distribute-lft-out--
4730×unpow-prod-down
3809×associate-/r*
3691×unpow-prod-up
3471×div-inv
3305×distribute-lft-out
3007×add-log-exp
2968×associate-*l*
2727×distribute-rgt-in distribute-lft-in
2676×associate-/r/
2428×prod-exp
2298×associate-/l*
2271×expm1-log1p-u
2266×log1p-expm1-u
2206×div-exp
1981×cbrt-unprod
1627×flip3-- flip--
1588×sqr-pow
1476×cbrt-undiv
1455×pow-prod-down
1282×associate--l+
1109×unswap-sqr
1062×fma-neg
922×log-prod
871×flip-+ flip3-+
849×associate-*r/
846×pow1/3
816×cube-prod
796×swap-sqr
740×sub-neg
685×cbrt-div
642×associate-*l/
637×frac-times
617×*-commutative
510×clear-num frac-2neg
504×fma-def
406×associate-+l+
361×log-pow
355×associate-/l/
293×fma-udef
287×1-exp
267×sqrt-pow1
265×rec-exp
234×sqrt-div
227×associate-+r+
214×pow-prod-up
213×diff-log
191×sum-log
173×distribute-rgt-neg-in pow-sqr
168×distribute-lft-neg-in
165×pow1/2
163×pow-exp
161×pow-unpow
138×pow-to-exp
126×+-commutative
102×pow-sub div-sub
101×unpow2
100×exp-sum
91×frac-sub
89×pow-plus
84×pow2
82×pow-flip pow-pow
75×inv-pow
64×distribute-rgt-out
62×unpow3 cube-mult
61×rem-sqrt-square
55×frac-add
54×neg-mul-1
48×un-div-inv
44×rem-log-exp log-div
41×exp-prod
40×associate--r+
37×difference-cubes
33×cos-sum
32×distribute-rgt-out--
27×tanh-def
23×associate-+l-
21×rem-cube-cbrt
19×distribute-lft1-in
18×hypot-def
15×sqrt-unprod
14×cube-div unsub-neg associate-+r-
13×sub-div cosh-def distribute-rgt-neg-out
12×associate--l-
11×rem-exp-log distribute-lft-neg-out difference-of-sqr-1 neg-sub0
10×sinh-def
9×log1p-udef
8×log1p-expm1
7×rem-square-sqrt
6×associate--r- expm1-log1p hypot-udef distribute-frac-neg neg-log expm1-udef
5×distribute-rgt1-in cos-diff count-2 diff-cos rem-cbrt-cube
4×sum-cubes pow3 tan-quot
3×pow-div exp-diff expm1-def exp-to-pow
2×e-exp-1 distribute-neg-frac
1×sqrt-undiv sqrt-pow2 unpow1/3 exp-neg distribute-neg-in sin-cos-mult

regimes1.1m (1.5%)

Accuracy

Total 223.1b remaining (43.6%)

Threshold costs 22.9b (4.5%)

19.4b39.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
13.0b45.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.6b60.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.2b-14.6%Linear.Matrix:det44 from linear-1.19.1.3
11.5b-6.5%Linear.Matrix:det33 from linear-1.19.1.3

localize18.1s (0.4%)

bsearch11.2s (0.3%)

end5.0ms (0.0%)