Details

simplify44.4m (48.2%)

series25.4m (27.6%)

Calls

2293 calls:

4.8m
(fma (* (cbrt x) (cbrt x)) (cbrt x) (+ (* (fma 1 a (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (/ (- y z) (- (+ t 1.0) z))) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (/ (- y z) (- (+ t 1.0) z)))))
4.8m
(fma (* (cbrt x) (cbrt x)) (cbrt x) (+ (* (fma 1 a (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (/ (- y z) (- (+ t 1.0) z))) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))) (/ (- y z) (- (+ t 1.0) z)))))
2.0m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
3.0s
(+ (* (log (sqrt c)) (- b 0.5)) (+ (* (log (sqrt c)) (- b 0.5)) (+ (fma y i a) (+ (fma (log y) x z) t))))
2.2s
(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y)))))

sample9.9m (10.8%)

Algorithm
538×intervals
Results
4.6m2586182×body80valid
1.3m514607×body80nan
57.6s47406×body1280valid
37.9s42928×body640valid
13.2s24447×body320valid
9.2s5564×body2560valid
4.5s13909×body160valid
2.5s1561×body10240exit
610.0ms31×body5120valid
306.0ms490×body1280nan
273.0ms688×body640nan
133.0ms454×body320nan
47.0ms244×body160nan

prune9.3m (10.1%)

regimes1.5m (1.6%)

Accuracy

Total 180.5b remaining (37.2%)

Threshold costs 26.1b (5.4%)

12.3b61.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.1b46.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.0b-7.3%Development.Shake.Progress:decay from shake-0.15.5
7.8b27.2%Numeric.Signal:interpolate from hsignal-0.2.7.1
6.7b61.8%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

rewrite1.0m (1.1%)

Algorithm
854×rewrite-expression-head
Calls

2294 calls:

629.0ms
(- (+ (+ (/ 2.0 t) (/ 2.0 (* z t))) (/ x y)) 2.0)
578.0ms
(- (+ (+ (/ 2.0 t) (/ (/ 2.0 t) z)) (/ x y)) 2.0)
577.0ms
(* (* (* i (* (cbrt (fma b c a)) (cbrt (fma b c a)))) (cbrt (fma b c a))) c)
527.0ms
(* (sqrt (/ (- x y) (- 1.0 y))) (* (sqrt (sqrt (/ (- x y) (- 1.0 y)))) (sqrt (sqrt (/ (- x y) (- 1.0 y))))))
509.0ms
(* z (* (* (* (* t y) (cbrt 9.0)) (cbrt 9.0)) (cbrt 9.0)))
Rules
107124×times-frac
81509×*-un-lft-identity
75825×add-sqr-sqrt
52430×add-cube-cbrt
35316×sqrt-prod
12237×prod-diff
10573×cbrt-prod
10066×difference-of-squares
9002×add-exp-log
7720×distribute-lft-out--
7347×add-cbrt-cube
7072×distribute-lft-out
5949×pow1
4459×associate-*r*
4423×associate-*l*
3408×associate-/r/
3306×div-inv
3121×add-log-exp
3030×associate-/r*
2806×associate-/l*
2767×associate-+l+
2393×distribute-rgt-in distribute-lft-in
2371×prod-exp
2300×expm1-log1p-u
2296×log1p-expm1-u
2294×insert-posit16
2042×div-exp
1954×flip3-- flip--
1937×cbrt-unprod
1526×cbrt-undiv
1525×pow-prod-down
1510×cbrt-div
1355×flip-+ flip3-+
1153×unswap-sqr
1077×associate-*l/
1013×associate-*r/
995×frac-times
961×fma-def
908×swap-sqr
894×log-prod
875×fma-neg
836×pow1/3
618×sqrt-pow1
587×*-commutative
485×frac-2neg clear-num
471×sqrt-div
425×associate-+r+
416×associate-/l/
381×pow-prod-up
378×sub-neg
369×log-pow
350×associate--l+
293×pow1/2
292×fma-udef
254×1-exp
252×rec-exp
245×pow-sqr
231×sum-log
225×exp-sum
217×diff-log
177×exp-prod
173×pow-plus
164×frac-add
152×associate--r+
139×+-commutative
132×div-sub
120×pow2
99×rem-sqrt-square
73×unpow-prod-down
70×distribute-rgt-out
68×pow3
65×log-div
61×distribute-rgt-neg-in rem-log-exp
58×pow-flip distribute-lft-neg-in
57×pow-unpow
53×inv-pow
51×un-div-inv
50×frac-sub
40×sinh-def
31×pow-pow hypot-def
30×difference-cubes
28×associate-+l-
27×sqr-pow
26×cosh-def
23×pow-exp cos-sum
22×neg-mul-1 rem-exp-log pow-to-exp
19×sqrt-unprod
17×associate-+r- distribute-rgt-out--
16×cube-unmult
12×distribute-rgt1-in rem-square-sqrt unpow-prod-up
11×distribute-lft1-in count-2
10×expm1-log1p expm1-udef log1p-udef
9×distribute-lft-neg-out sub-div rem-cbrt-cube associate--r-
8×unsub-neg log1p-expm1 diff-cos
7×exp-diff tanh-def
6×associate--l-
5×distribute-rgt-neg-out exp-to-pow tan-quot
4×difference-of-sqr-1
3×neg-sub0 cos-diff
2×neg-log unpow1/3
1×pow-sub sqrt-pow2 exp-neg remove-double-div e-exp-1

localize25.2s (0.5%)

bsearch5.3s (0.1%)

end189.0ms (0.0%)