Details

simplify29.4m (44.6%)

series18.9m (28.7%)

Calls

2211 calls:

2.4m
(/ (+ (fma y x (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (fma z (- b y) y))
17.7s
(sqrt (fma b (- (+ y t) 2.0) (fma z (- 1.0 y) (fma a (- 1.0 t) x))))
10.8s
(/ (+ (pow (log (+ x y)) 3) (pow (log z) 3)) (fma (log (+ x y)) (log (+ x y)) (* (log z) (- (log z) (log (+ x y))))))
3.5s
(pow (fma t z (fma a b (* x y))) 3)
1.8s
(cbrt (* (* x 1.0) (log (- 1.0 (/ y x)))))

sample8.5m (12.9%)

Algorithm
536×intervals
Results
3.1m2573955×body80valid
57.7s518298×body80nan
41.3s46661×body1280valid
23.2s42447×body640valid
9.6s5632×body2560valid
8.7s24380×body320valid
4.8s13556×body160valid
2.1s1573×body10240exit
537.0ms405×body320nan
307.0ms441×body1280nan
209.0ms654×body640nan
129.0ms39×body5120valid
28.0ms219×body160nan

prune6.2m (9.4%)

rewrite1.6m (2.5%)

Algorithm
837×rewrite-expression-head
Calls

2213 calls:

6.9s
(log (+ (- (pow (cbrt 1.0) 3) (/ (- x y) (pow (cbrt (- 1.0 y)) 3))) (+ (- (/ (- x y) (pow (cbrt (- 1.0 y)) 3))) (/ (- x y) (pow (cbrt (- 1.0 y)) 3)))))
5.5s
(log (+ (- (fma (/ x (pow y 2)) 1.0 (/ x y)) (* 1.0 (/ 1 y))) (+ (- (/ (- x y) (pow (cbrt (- 1.0 y)) 3))) (/ (- x y) (pow (cbrt (- 1.0 y)) 3)))))
1.5s
(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (sqrt x) (- (+ y (/ (/ 1.0 x) 9.0)) 1.0))))
837.0ms
(+ (/ (/ 1 t) (/ (/ 1 z) (- y x))) x)
738.0ms
(* (+ (- (pow (cbrt x) 3) (/ 16.0 116.0)) 0) 3.0)
Rules
84235×times-frac
67232×*-un-lft-identity
62933×add-sqr-sqrt
45081×add-cube-cbrt
16489×sqrt-prod
14444×prod-diff
9768×add-exp-log
7471×difference-of-squares
7367×add-cbrt-cube
6232×cbrt-prod
6155×distribute-lft-out--
5492×pow1
5247×distribute-lft-out
4623×associate-*r*
3714×div-inv
3483×unpow-prod-down
3194×associate-/r*
2970×associate-*l*
2836×add-log-exp
2799×distribute-rgt-in distribute-lft-in
2782×cube-prod
2770×prod-exp
2725×associate-/r/
2332×associate-/l*
2324×div-exp
2215×log1p-expm1-u expm1-log1p-u
2079×cbrt-unprod
2067×fma-def
1554×cbrt-undiv
1455×pow-prod-down
1441×flip-- flip3--
1137×log-prod
1014×unswap-sqr
951×flip-+ flip3-+
846×associate-*r/
737×pow1/3
717×sqr-pow
644×fma-neg
606×associate-*l/
587×swap-sqr
581×*-commutative
540×cbrt-div
520×frac-times
518×associate-+r+
493×sqrt-pow1
485×clear-num frac-2neg
433×sub-neg
423×unpow3 cube-mult
379×associate--l+
375×associate-/l/
336×associate-+l+
323×1-exp
308×rec-exp
298×fma-udef
295×log-pow
277×pow1/2
246×sqrt-div
245×pow-exp
232×pow-prod-up
192×exp-sum
177×diff-log
176×pow-sqr
155×sum-log
143×exp-prod
134×pow-unpow
131×pow-to-exp unpow2
121×frac-sub
110×+-commutative
99×rem-sqrt-square
97×div-sub
82×pow-pow
81×distribute-rgt-out
80×frac-add
74×pow-flip pow-plus
70×pow2 log-div
65×inv-pow
64×tanh-def
60×cube-div
58×un-div-inv
51×rem-log-exp
33×distribute-rgt-neg-in sinh-def
31×distribute-rgt1-in
30×distribute-lft-neg-in
29×distribute-rgt-neg-out
25×neg-sub0
24×distribute-neg-in
23×cos-sum
21×distribute-rgt-out--
20×rem-cube-cbrt
19×sqrt-unprod associate-+l-
18×associate-+r-
17×rem-exp-log associate--r+
16×pow-neg pow-sub rem-square-sqrt
14×hypot-def
12×unsub-neg
11×sub-div
10×difference-cubes associate--l-
9×expm1-udef associate--r- cosh-def
8×sin-neg neg-mul-1 distribute-neg-frac
7×exp-diff distribute-lft-neg-out distribute-lft1-in expm1-log1p rem-cbrt-cube tan-quot
6×unpow1/3 exp-neg
5×log1p-udef log1p-expm1 count-2 unpow-prod-up exp-to-pow
4×diff-cos neg-log sum-cubes
3×e-exp-1 cos-diff hypot-udef sin-mult sin-diff
2×pow3 cos-mult
1×sqrt-undiv sqrt-pow2 distribute-frac-neg acos-asin log-rec

regimes51.8s (1.3%)

Accuracy

Total 195.3b remaining (38.2%)

Threshold costs 24.0b (4.7%)

13.4b46.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
11.5b63.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.0b26.3%Linear.Matrix:det33 from linear-1.19.1.3
8.8b52.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
7.2b62.3%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

localize18.1s (0.5%)

bsearch7.1s (0.2%)

end3.0ms (0.0%)