Details

simplify43.4m (49.3%)

series25.1m (28.5%)

Calls

2284 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.7m
(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.1s
(+ (* (log (sqrt c)) (- b 0.5)) (+ (* (log (sqrt c)) (- b 0.5)) (+ (fma y i a) (+ (fma (log y) x z) t))))
2.0s
(/ (+ 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)))))

prune9.0m (10.2%)

sample7.5m (8.5%)

Algorithm
538×intervals
Results
3.3m2586182×body80valid
1.0m514607×body80nan
42.0s47406×body1280valid
25.5s42928×body640valid
10.0s24447×body320valid
7.4s5564×body2560valid
4.1s13909×body160valid
2.1s1561×body10240exit
263.0ms688×body640nan
257.0ms490×body1280nan
119.0ms454×body320nan
82.0ms31×body5120valid
32.0ms244×body160nan

regimes1.4m (1.6%)

Accuracy

Total 182.5b remaining (37.5%)

Threshold costs 24.9b (5.1%)

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
9.8b17.1%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

rewrite59.4s (1.1%)

Algorithm
854×rewrite-expression-head
Calls

2285 calls:

571.0ms
(- (+ (+ (/ 2.0 t) (/ (/ 2.0 t) z)) (/ x y)) 2.0)
545.0ms
(- (+ (+ (/ 2.0 t) (/ 2.0 (* z t))) (/ x y)) 2.0)
486.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
480.0ms
(* z (* (* (* (* t y) (cbrt 9.0)) (cbrt 9.0)) (cbrt 9.0)))
464.0ms
(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0))))
Rules
106055×times-frac
80731×*-un-lft-identity
75020×add-sqr-sqrt
51919×add-cube-cbrt
34988×sqrt-prod
12142×prod-diff
10014×difference-of-squares
9931×cbrt-prod
8995×add-exp-log
7638×distribute-lft-out--
7341×add-cbrt-cube
7043×distribute-lft-out
5931×pow1
4400×associate-*r*
4237×associate-*l*
3380×associate-/r/
3237×div-inv
3112×add-log-exp
3071×associate-/r*
2857×associate-+l+
2790×associate-/l*
2579×distribute-rgt-in distribute-lft-in
2372×prod-exp
2291×expm1-log1p-u
2287×log1p-expm1-u
2285×insert-posit16
2039×div-exp
1946×flip3-- flip--
1936×cbrt-unprod
1527×pow-prod-down
1518×cbrt-undiv
1492×cbrt-div
1349×flip-+ flip3-+
1100×unswap-sqr
1052×associate-*l/
1041×associate-*r/
993×frac-times
959×fma-def
910×log-prod
866×fma-neg
819×swap-sqr
805×pow1/3
603×sqrt-pow1
586×*-commutative
487×frac-2neg clear-num
449×sqrt-div
445×associate-+r+
419×associate-/l/
401×sub-neg
371×pow-prod-up log-pow
294×fma-udef
284×pow1/2
258×1-exp
256×rec-exp
237×pow-sqr
232×sum-log
225×exp-sum
216×diff-log
199×associate--l+
177×exp-prod
170×pow-plus
164×frac-add
153×associate--r+
139×+-commutative
133×div-sub
117×pow2
112×unpow-prod-down
98×rem-sqrt-square
68×pow3 distribute-rgt-out
65×log-div
62×pow-flip
61×rem-log-exp
60×pow-unpow
56×inv-pow
51×frac-sub un-div-inv
40×sinh-def
34×pow-pow
30×sqr-pow difference-cubes
28×associate-+l- hypot-def
27×pow-exp
26×cosh-def distribute-rgt-neg-in
25×distribute-lft-neg-in
23×pow-to-exp cos-sum
22×rem-exp-log
18×sqrt-unprod
17×associate-+r-
16×cube-unmult
14×distribute-rgt-out--
13×distribute-rgt1-in
12×distribute-lft1-in unpow-prod-up count-2
11×expm1-log1p expm1-udef rem-square-sqrt
10×distribute-lft-neg-out log1p-udef
9×neg-mul-1 rem-cbrt-cube associate--r-
8×unsub-neg log1p-expm1 sub-div diff-cos
7×exp-diff tanh-def
5×associate--l- exp-to-pow tan-quot
4×distribute-rgt-neg-out 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

localize24.7s (0.5%)

end7.6s (0.1%)

bsearch4.9s (0.1%)