Details

simplify34.6m (47.6%)

series17.3m (23.8%)

Calls

2356 calls:

1.9m
(fma (- (* y0 c) (* y1 a)) (- (* x y2) (* z y3)) (* (- (* x y) (* z t)) (- (* a b) (* c i))))
24.2s
(* (* (fma (- (+ y t) 2.0) b (fma (- 1.0 y) z (fma a (- 1.0 t) x))) (fma (- (+ y t) 2.0) b (fma (- 1.0 y) z (fma a (- 1.0 t) x)))) (fma (- (+ y t) 2.0) b (fma (- 1.0 y) z (fma a (- 1.0 t) x))))
20.0s
(* (cbrt (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (* (/ z 1.0) (/ z 1.0)) (* 1.0 z))) b)))) (cbrt (fma y (- (log z) t) (* a (- (- (log 1.0) (fma 1/2 (* (/ z 1.0) (/ z 1.0)) (* 1.0 z))) b)))))
5.6s
(sqrt (fma i c (fma a b (fma x y (* z t)))))
5.4s
(sqrt (fma i c (fma a b (fma x y (* z t)))))

prune9.8m (13.5%)

sample7.4m (10.2%)

Algorithm
537×intervals
Results
3.0m2567906×body80valid
55.8s492703×body80nan
39.6s47295×body1280valid
23.9s44365×body640valid
9.8s24571×body320valid
7.8s5804×body2560valid
3.5s13837×body160valid
2.0s1656×body10240exit
266.0ms705×body640nan
173.0ms460×body1280nan
127.0ms42×body5120valid
68.0ms370×body320nan
26.0ms233×body160nan

regimes1.9m (2.6%)

Accuracy

Total 207.7b remaining (42.3%)

Threshold costs 23.5b (4.8%)

13.9b21.9%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
13.4b56.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.9b14.1%Development.Shake.Progress:decay from shake-0.15.5
8.7b-8.5%Linear.Matrix:det33 from linear-1.19.1.3
7.5b6.4%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite1.2m (1.6%)

Algorithm
871×rewrite-expression-head
Calls

2360 calls:

819.0ms
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
609.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
571.0ms
(* y (+ (+ (- 1.0 z) (log (sqrt z))) (+ (log (sqrt (sqrt z))) (log (sqrt (sqrt z))))))
524.0ms
(* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z))))
501.0ms
(* 3.0 (* (sqrt (sqrt x)) (* (sqrt (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))))
Rules
72225×times-frac
61897×*-un-lft-identity
57085×add-sqr-sqrt
42212×add-cube-cbrt
15924×prod-diff
9945×add-exp-log
9165×sqrt-prod
7905×add-cbrt-cube
6875×pow1
5996×distribute-lft-out--
5966×difference-of-squares
5606×cbrt-prod
4315×associate-*r*
4076×distribute-lft-out
3647×distribute-rgt-in distribute-lft-in
3637×associate-/r*
3630×div-inv
3507×associate-/r/
3155×associate-*l*
3120×add-log-exp
2794×prod-exp
2703×associate-/l*
2432×cbrt-unprod
2362×log1p-expm1-u
2361×expm1-log1p-u
2235×div-exp
2082×flip-- flip3--
1983×pow-prod-down
1613×cbrt-div
1553×cbrt-undiv
1183×associate-*r/
1128×frac-times
1099×unswap-sqr
1068×flip-+ flip3-+
1066×swap-sqr
1056×associate-*l/
1028×log-prod
964×pow1/3
795×fma-neg
627×*-commutative
544×fma-def
506×frac-2neg clear-num
470×sub-neg
436×pow-prod-up
428×exp-sum
420×associate-/l/
414×associate-+r+
390×fma-udef
318×pow-sqr
315×log-pow
314×sqrt-pow1
303×1-exp
300×sqrt-div
299×rec-exp
265×frac-sub
242×tanh-def
229×pow-plus
222×pow1/2
211×diff-log
206×associate--l+
202×sum-log
154×pow2
150×associate-+l+
135×+-commutative
114×div-sub
103×rem-sqrt-square
90×pow-flip
87×exp-prod
85×log-div
78×rem-log-exp
72×inv-pow
58×un-div-inv
52×distribute-rgt-neg-in
49×unpow-prod-down
46×distribute-lft-neg-in
41×distribute-rgt-out--
32×frac-add distribute-rgt-out
29×pow-exp
26×pow3
25×cos-sum rem-exp-log hypot-def
24×associate--r+
20×pow-unpow associate-+l-
18×distribute-lft-neg-out exp-diff
17×neg-mul-1 sinh-def
16×associate-+r- pow-pow
15×sub-div cosh-def
13×sqrt-unprod rem-square-sqrt
11×distribute-rgt-neg-out unsub-neg
10×pow-to-exp rem-cbrt-cube
9×neg-sub0 cube-unmult
8×associate--r-
7×distribute-lft1-in sqr-pow
6×difference-cubes
5×cos-mult distribute-rgt1-in cos-diff count-2
4×expm1-log1p expm1-udef diff-cos
3×neg-log exp-to-pow
2×sqrt-undiv rem-cube-cbrt log1p-expm1 sum-cubes remove-double-div cos-neg tan-quot sqr-cos sin-diff e-exp-1 sin-neg log1p-udef
1×cube-prod sin-sum distribute-frac-neg sin-cos-mult unpow3 associate--l- cube-mult hypot-udef exp-neg distribute-neg-in unpow1/3

localize27.6s (0.6%)

bsearch5.2s (0.1%)

end6.0ms (0.0%)