Details

series14.4m (56.6%)

Calls

2296 calls:

7.2s
(fma (- (* c t) (* i y)) j (- (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (fma y z (- (* a t))))) (* x (fma (- a) t (* a t)))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
4.0s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
3.8s
(pow (pow (sqrt (fma (- 1.0 x) y (* x z))) 4) (/ 1 2))
3.7s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
2.9s
(* (cbrt (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z)))) (cbrt (* (cbrt (fma (log y) (+ y 0.5) z)) (cbrt (fma (log y) (+ y 0.5) z)))))

prune4.5m (17.8%)

sample3.5m (13.8%)

Algorithm
538×intervals
Results
1.2m2581675×body80valid
21.5s525510×body80nan
18.6s47387×body1280valid
9.9s43835×body640valid
4.6s5665×body2560valid
3.8s24984×body320valid
1.3s13706×body160valid
797.0ms1571×body10240exit
137.0ms54×body5120valid
98.0ms635×body640nan
85.0ms465×body1280nan
42.0ms389×body320nan
18.0ms228×body160nan

simplify1.4m (5.4%)

Algorithm
1393×egg-herbie

rewrite43.3s (2.8%)

Algorithm
856×rewrite-expression-head
Calls

2299 calls:

3.6s
(* (/ (cbrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) (cbrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))))) (/ (cbrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt x) (/ y (cbrt (cbrt 3.0))))))
1.2s
(+ (* (log y) x) (+ (+ (+ (pow (cbrt (log t)) 3) (- z)) (- y)) (fma (- (+ y z)) 1 (+ y z))))
674.0ms
(* (* (* (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))) (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))) (/ 1 (+ (+ x t) y)))
636.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
479.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
72564×times-frac
57671×*-un-lft-identity
56808×add-sqr-sqrt
39614×add-cube-cbrt
13483×cbrt-prod
12881×prod-diff
9858×add-exp-log
9034×sqrt-prod
7549×add-cbrt-cube
7119×associate-*r*
5808×pow1
5523×distribute-lft-out--
5121×difference-of-squares
3671×distribute-lft-out
3667×div-inv
3484×associate-*l*
3455×distribute-rgt-in distribute-lft-in
3304×associate-/r*
3169×add-log-exp
2867×prod-exp
2304×log1p-expm1-u
2302×expm1-log1p-u
2259×div-exp
2189×associate-/l*
2181×associate-/r/
2133×cbrt-unprod
2042×unswap-sqr
1544×cbrt-undiv
1471×flip-- flip3--
1426×pow-prod-down
1215×log-prod
1209×unpow-prod-down
1023×fma-def
1000×flip-+ flip3-+
914×cbrt-div
864×associate-*r/
831×log-pow
781×frac-times
760×pow1/3
739×associate-*l/
684×swap-sqr
624×*-commutative
616×fma-neg
582×sqrt-div
496×clear-num frac-2neg
495×associate-+l+
488×associate--l+
463×sub-neg
437×associate-+r+
425×associate-/l/
418×exp-prod
417×sqr-pow
411×cube-prod
338×fma-udef
297×sqrt-pow1
292×sum-log
290×1-exp
282×pow-exp
261×rec-exp
245×pow-prod-up
201×diff-log
200×pow1/2
199×exp-sum
192×pow-sqr
189×pow-unpow
176×pow-to-exp
175×unpow2
159×+-commutative
149×distribute-lft-neg-in distribute-rgt-neg-in
137×div-sub
105×associate--r+
101×pow-plus
99×rem-sqrt-square
91×pow2 frac-sub
78×pow-flip
74×pow-pow
69×un-div-inv log-div
61×inv-pow
59×frac-add
55×unpow3 cube-mult rem-log-exp
51×neg-mul-1
45×associate-+l-
40×distribute-rgt-out--
33×distribute-rgt-neg-out
32×distribute-rgt-out
30×associate-+r-
29×hypot-def tanh-def
23×cos-sum
22×unsub-neg
21×distribute-lft-neg-out
19×cube-div rem-cube-cbrt
17×sqrt-unprod
16×hypot-udef
15×cosh-def
14×difference-cubes unpow1/3 neg-sub0 associate--r-
13×rem-square-sqrt
12×sinh-def
11×rem-exp-log sub-div
9×log1p-udef log1p-expm1 neg-log
8×associate--l-
7×expm1-log1p expm1-udef distribute-frac-neg
6×distribute-lft1-in rem-cbrt-cube
5×distribute-rgt1-in count-2 tan-quot
3×cos-diff unpow-prod-up distribute-neg-frac
2×exp-diff sqrt-pow2 pow3 exp-neg diff-cos sin-mult cos-mult exp-to-pow mul-1-neg
1×sqrt-undiv e-exp-1 log-rec

regimes41.4s (2.7%)

Accuracy

Total 190.2b remaining (38%)

Threshold costs 29.9b (6%)

18.8b39.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.1b60.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.4b50.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.5b-7.4%Linear.Matrix:det33 from linear-1.19.1.3
8.3b33.8%Development.Shake.Progress:decay from shake-0.15.5

localize10.0s (0.7%)

bsearch4.2s (0.3%)

end6.0ms (0.0%)