Details

simplify30.0m (42.9%)

series15.6m (22.3%)

Calls

2305 calls:

2.1s
(fma x x (+ (* y (* 4.0 (- t (* z z)))) (* (fma (- z) z (* z z)) (* y 4.0))))
1.8s
(expm1 (log (fma (* (exp 1.0) 1.0) (- x y) (* (exp 1.0) 1.0))))
1.3s
(* (cbrt (fma (- t x) (- y z) x)) (cbrt (fma (- t x) (- y z) x)))
1.2s
(* (cbrt (fma (- b 0.5) (log c) (fma (log y) x a))) (cbrt (fma (- b 0.5) (log c) (fma (log y) x a))))
1.2s
(expm1 (log1p (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))

prune12.3m (17.6%)

sample8.4m (12.0%)

Algorithm
539×intervals
Results
2.9m2587437×body80valid
58.1s523238×body80nan
39.9s47212×body1280valid
24.8s42789×body640valid
7.9s24810×body320valid
7.5s5687×body2560valid
2.9s13973×body160valid
2.0s1575×body10240exit
599.0ms677×body640nan
175.0ms505×body1280nan
166.0ms436×body320nan
139.0ms41×body5120valid
29.0ms201×body160nan

regimes1.9m (2.7%)

Accuracy

Total 193.4b remaining (40.8%)

Threshold costs 24.8b (5.2%)

15.1b18.8%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
12.4b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.6b48.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.6b55.3%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
8.2b32.8%Development.Shake.Progress:decay from shake-0.15.5

rewrite1.2m (1.7%)

Algorithm
860×rewrite-expression-head
Calls

2307 calls:

1.0s
(* (/ (/ (/ 1 (cbrt 3.0)) (cbrt 3.0)) (sqrt (cbrt 3.0))) (/ (fma y y (fma x x (* z z))) (sqrt (cbrt 3.0))))
890.0ms
(* (/ 1 y) (- (/ x (/ 1 x)) (/ z (/ 1 z))))
758.0ms
(/ (/ (sqrt 2.0) 1) (/ (/ z x) (/ (sqrt 2.0) (- y t))))
747.0ms
(/ (- (* 2.0 (* 2.0 2.0)) (* (* (* (/ z y) 4.0) (* (/ z y) 4.0)) (* (/ z y) 4.0))) (+ (* 2.0 2.0) (+ (* (* (/ z y) 4.0) (* (/ z y) 4.0)) (* 2.0 (* (/ z y) 4.0)))))
653.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
Rules
133136×times-frac
85747×*-un-lft-identity
83690×add-sqr-sqrt
67157×add-cube-cbrt
18705×prod-diff
17006×sqrt-prod
10207×add-exp-log
8184×add-cbrt-cube
8113×cbrt-prod
6697×distribute-lft-out--
6462×difference-of-squares
6313×pow1
6196×div-inv
4611×associate-*r*
4608×distribute-rgt-in distribute-lft-in
4461×associate-*l*
3760×associate-/r*
3408×associate-/r/
3063×add-log-exp
2864×prod-exp
2770×distribute-lft-out
2514×div-exp
2401×associate-/l*
2399×cbrt-unprod
2313×log1p-expm1-u
2310×expm1-log1p-u
2099×flip3-- flip--
1737×cbrt-undiv
1717×pow-prod-down
1674×cbrt-div
1415×frac-times
1232×associate-*l/
1223×unswap-sqr
1112×associate-*r/
1032×log-prod
892×fma-neg
802×pow1/3 flip-+ flip3-+
798×swap-sqr
604×*-commutative
533×associate-+r+
513×fma-def
506×frac-2neg clear-num
432×pow-prod-up
420×associate-+l+
407×fma-udef
397×sub-neg
387×associate-/l/
343×1-exp
323×rec-exp
312×sqrt-pow1
284×pow-sqr
249×sqrt-div
217×diff-log
213×pow-plus
203×log-pow
192×associate--l+
188×sum-log
187×exp-sum
178×pow1/2
161×exp-prod
131×pow2
126×unpow-prod-up frac-add
120×tanh-def
114×+-commutative
104×div-sub
86×pow-flip
80×unpow-prod-down
76×inv-pow
69×rem-sqrt-square
64×frac-sub
62×pow-unpow
49×distribute-rgt-neg-in
43×rem-log-exp
42×distribute-lft-neg-in
40×distribute-rgt-out-- un-div-inv log-div
35×cube-unmult
33×pow-exp pow-pow distribute-rgt-out
30×cos-sum
29×sqr-pow
26×pow-to-exp
25×associate--r+
22×sub-div
21×pow3 rem-exp-log
20×cosh-def
19×associate-+l-
18×exp-diff sinh-def
17×distribute-lft-neg-out difference-cubes
16×neg-mul-1
15×hypot-def
14×pow-div
13×associate-+r- distribute-rgt-neg-out exp-to-pow
12×unsub-neg
11×log1p-udef
10×sqrt-unprod rem-square-sqrt rem-cbrt-cube
9×neg-sub0 log1p-expm1 unpow1/3
8×expm1-log1p expm1-udef cos-mult associate--r- count-2
7×distribute-lft1-in
6×distribute-rgt1-in associate--l- sqr-cos diff-cos e-exp-1
5×cos-diff
4×hypot-udef tan-quot
3×distribute-frac-neg
2×pow-sub distribute-neg-frac cos-neg sin-diff expm1-def sin-neg
1×sin-sum neg-log difference-of-sqr-1 exp-neg

localize26.4s (0.6%)

bsearch7.6s (0.2%)

end7.0ms (0.0%)