Details

series14.6m (55.1%)

Calls

2321 calls:

6.5s
(/ (* (cbrt (+ (pow (fma x y z) 3) (pow (/ x 2.0) 3))) (cbrt (- (* (fma x y z) (fma x y z)) (* (/ x 2.0) (/ x 2.0))))) (* (cbrt (+ (* (fma x y z) (fma x y z)) (- (* (/ x 2.0) (/ x 2.0)) (* (fma x y z) (/ x 2.0))))) (cbrt (- (fma x y z) (/ x 2.0)))))
3.2s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))

sample5.0m (19.1%)

Algorithm
538×intervals
Results
2.3m2584727×body80valid
33.4s511033×body80nan
22.6s47102×body1280valid
13.2s42910×body640valid
5.3s24734×body320valid
5.0s5709×body2560valid
1.9s13480×body160valid
177.0ms671×body640nan
153.0ms479×body1280nan
120.0ms42×body5120valid
113.0ms1563×body80overflowed
87.0ms462×body320nan
29.0ms234×body160nan

prune4.1m (15.5%)

simplify1.3m (4.8%)

Algorithm
1390×egg-herbie

regimes41.3s (2.6%)

Accuracy

Total 219.0b remaining (44.8%)

Threshold costs 22.9b (4.7%)

20.3b35.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
17.6b19.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
14.3b22.3%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
12.9b57%Diagrams.ThreeD.Transform:aboutX from diagrams-lib-1.3.0.3, B
7.5b31.4%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite33.1s (2.1%)

Algorithm
853×rewrite-expression-head
Calls

2323 calls:

470.0ms
(* (sqrt (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (/ (sqrt (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
397.0ms
(- (+ y (/ (pow x (/ 2 2)) (/ y x))) (/ (pow z 2) y))
374.0ms
(- (+ y (/ (pow x (/ 2 2)) (/ y x))) (* z (/ z y)))
356.0ms
(+ (- (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) y) z) (log t))
303.0ms
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
Rules
42582×*-un-lft-identity
41844×times-frac
38566×add-sqr-sqrt
28397×add-cube-cbrt
10507×prod-diff
8929×add-exp-log
7287×add-cbrt-cube
7106×sqrt-prod
5988×pow1
5166×associate-*r*
4409×cbrt-prod
3811×difference-of-squares
3804×distribute-lft-out--
3713×distribute-lft-out
3218×associate-*l*
3172×add-log-exp
3077×frac-times
3008×distribute-rgt-in distribute-lft-in
2905×associate-/r*
2780×cbrt-div
2608×flip--
2607×flip3--
2461×div-inv
2328×expm1-log1p-u
2327×log1p-expm1-u
2248×associate-/l*
2244×prod-exp
2080×associate-/r/
2074×div-exp
1870×cbrt-unprod
1633×associate-*l/
1559×flip-+
1558×flip3-+ associate-*r/
1499×pow-prod-down
1481×cbrt-undiv
1236×log-prod
1105×unswap-sqr
1082×unpow-prod-down
781×pow1/3
666×associate-+l+
653×sqrt-pow1
615×swap-sqr
590×*-commutative
576×fma-neg
573×sqrt-div
536×fma-def
527×associate-+r+
516×clear-num frac-2neg
500×log-pow
445×sub-neg
429×cube-prod
406×associate--l+
393×associate-/l/
344×sqr-pow
325×pow1/2
315×pow-prod-up
314×fma-udef
287×1-exp
283×sum-log
278×distribute-lft-neg-in
277×distribute-rgt-neg-in
236×pow-sqr
235×rec-exp
196×diff-log
190×exp-prod
176×frac-sub
170×associate--r+
168×+-commutative
134×unpow2
119×pow-exp
113×pow-plus
106×pow-unpow
99×frac-add pow2
98×div-sub
87×rem-sqrt-square
85×distribute-rgt-out
83×log-div
82×pow-to-exp
75×pow-flip
68×exp-sum
63×inv-pow
61×pow-pow
52×neg-mul-1
49×rem-log-exp
45×sinh-def
39×tanh-def
38×cos-sum un-div-inv
36×unpow3 cube-mult associate-+l-
35×hypot-def
34×cube-div distribute-rgt-out--
31×sub-div
25×sum-cubes
24×distribute-rgt-neg-out
23×rem-cube-cbrt cosh-def
22×associate-+r-
19×sqrt-unprod
17×rem-square-sqrt
16×count-2
15×distribute-lft1-in
14×difference-cubes exp-neg rem-exp-log mul-1-neg
13×distribute-rgt1-in
12×unsub-neg
9×unpow1/3 rem-cbrt-cube
8×expm1-udef cos-diff expm1-log1p tan-quot
6×log1p-udef distribute-lft-neg-out log1p-expm1 diff-cos
4×sqrt-undiv associate--l-
3×sqrt-pow2 hypot-udef neg-sub0 associate--r- distribute-neg-frac exp-to-pow
2×exp-diff pow3 neg-log
1×e-exp-1 unpow-prod-up cube-unmult distribute-frac-neg

localize9.8s (0.6%)

bsearch5.3s (0.3%)

end6.0ms (0.0%)