Details

simplify30.3m (39.6%)

series25.4m (33.2%)

Calls

2270 calls:

6.0m
(+ (* (/ (- y z) (- 1.0 (- z t))) (fma 1 a (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (+ (* (/ (- y z) (- 1.0 (- z t))) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) x))
4.0s
(cbrt (* (cbrt (- y (fma (+ 0.5 y) (log y) z))) (cbrt (- y (fma (+ 0.5 y) (log y) z)))))
3.7s
(* (cbrt (- y (fma (+ 0.5 y) (log y) z))) (cbrt (- y (fma (+ 0.5 y) (log y) z))))
2.3s
(/ (+ (log (sqrt (fma y (expm1 z) 1.0))) (log (sqrt (fma y (expm1 z) 1.0)))) t)
1.4s
(/ (/ (fma (* (- (cos x) (cos y)) (* (- (sin y) (/ (sin x) 16.0)) (sqrt 2.0))) (- (sin x) (/ (sin y) 16.0)) 2.0) 3.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) (fma (/ (cos y) 2.0) (- 3.0 (sqrt 5.0)) 1.0)))

prune9.8m (12.8%)

sample7.5m (9.8%)

Algorithm
537×intervals
Results
3.0m2569579×body80valid
1.0m514408×body80nan
39.0s46299×body1280valid
23.0s43646×body640valid
11.7s24539×body320valid
7.4s5679×body2560valid
4.5s13216×body160valid
1.5s1559×body10240exit
258.0ms675×body640nan
190.0ms478×body1280nan
137.0ms438×body320nan
117.0ms43×body5120valid
32.0ms258×body160nan

regimes1.9m (2.4%)

Accuracy

Total 200.9b remaining (41.8%)

Threshold costs 25.3b (5.3%)

13.9b24.4%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
13.0b59.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.0b49.9%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.2b17%Development.Shake.Progress:decay from shake-0.15.5
7.7b60%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

rewrite1.1m (1.5%)

Algorithm
852×rewrite-expression-head
Calls

2274 calls:

1.2s
(* 3.0 (* (sqrt x) (+ y (+ (- (* (/ 1 (sqrt x)) (/ (/ 1.0 9.0) (sqrt x))) 1.0) (+ 1.0 (- 1.0))))))
993.0ms
(+ (- (/ (/ t (cbrt (- a t))) (* (cbrt (- a t)) (cbrt (- a t))))) (/ (/ t (cbrt (- a t))) (* (* (* (cbrt (cbrt (- a t))) (cbrt (cbrt (- a t)))) (cbrt (cbrt (- a t)))) (cbrt (- a t)))))
564.0ms
(* 0.5 (+ (- (/ x t) (/ z t)) (/ y t)))
479.0ms
(* z (* y (- (tanh (/ t y)) (tanh (/ x y)))))
467.0ms
(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
Rules
61870×times-frac
51093×*-un-lft-identity
48566×add-sqr-sqrt
37391×add-cube-cbrt
12285×sqrt-prod
11001×prod-diff
10005×add-exp-log
7760×cbrt-prod
7754×add-cbrt-cube
6859×pow1
4650×associate-*r*
4196×distribute-lft-out--
3829×difference-of-squares
3737×associate-*l*
3166×associate-/r*
3048×prod-exp
3003×div-inv
2958×add-log-exp
2916×distribute-lft-out
2438×associate-/r/
2403×associate-/l*
2383×distribute-rgt-in distribute-lft-in
2307×cbrt-unprod
2303×div-exp
2277×expm1-log1p-u
2275×log1p-expm1-u
1792×pow-prod-down
1614×cbrt-undiv
1591×log-pow
1548×cbrt-div
1515×flip3-- flip--
1327×exp-prod
1135×unswap-sqr
1108×frac-times
1101×swap-sqr
1070×associate-*r/
1061×flip-+ flip3-+
1022×log-prod
982×associate-*l/
907×pow1/3
772×fma-neg
685×pow-prod-up
638×fma-def
609×associate-+r+
591×*-commutative
501×associate-+l+
473×frac-2neg clear-num
439×sqrt-pow1
401×sub-neg
388×pow-plus
359×associate-/l/
357×pow-sqr
346×sqrt-div fma-udef
331×1-exp
257×rec-exp
256×associate--l+
246×pow1/2
192×sum-log
185×distribute-lft-neg-in pow2
183×diff-log
136×distribute-rgt-neg-in
133×distribute-rgt-out
122×+-commutative
99×frac-sub
98×div-sub
86×rem-sqrt-square
76×pow3
62×pow-flip
58×rem-log-exp
53×exp-sum inv-pow frac-add
51×log-div
48×tanh-def un-div-inv distribute-rgt-out--
45×pow-unpow
38×neg-mul-1
33×associate--r+
30×cos-sum
28×associate-+r- cube-unmult
27×unpow-prod-down
24×distribute-neg-frac
22×hypot-def
21×pow-exp
20×cosh-def
19×neg-sub0
18×sqrt-unprod sub-div difference-cubes rem-exp-log rem-cbrt-cube
17×pow-to-exp associate-+l- distribute-neg-in
15×distribute-lft-neg-out distribute-rgt1-in sqrt-undiv
14×distribute-lft1-in pow-pow
13×exp-diff distribute-rgt-neg-out rem-square-sqrt
12×unsub-neg
11×sqr-pow
10×exp-neg sinh-def count-2
8×neg-log
7×tan-quot
5×unpow1/3 cos-diff diff-cos
4×expm1-log1p expm1-udef cos-mult log1p-expm1 associate--l- sqr-cos log1p-udef
2×exp-to-pow pow-div cos-neg associate--r- sin-diff sin-neg
1×sin-sum mul0 distribute-frac-neg unpow-prod-up e-exp-1

localize26.8s (0.6%)

bsearch6.5s (0.1%)

end7.0ms (0.0%)