Details

series14.3m (56.8%)

Calls

2284 calls:

4.1s
(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (* (cbrt (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (cbrt (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))) (* (cbrt (fma (fma (fma (+ y a) y b) y c) y i)) (cbrt (fma (fma (fma (+ y a) y b) y c) y i)))))
2.9s
(fma t (- (pow (* 18.0 (* x (* z y))) 1) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
1.8s
(fma x x (+ (+ (* (* y 4.0) t) (* (* y 4.0) (- (* z z)))) (* (* y 4.0) (fma (- z) z (* z z)))))
1.7s
(fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z)))))

prune4.6m (18.1%)

sample3.5m (13.7%)

Algorithm
537×intervals
Results
1.3m2581990×body80valid
21.1s508047×body80nan
18.1s47272×body1280valid
9.4s41607×body640valid
4.3s5704×body2560valid
3.7s24933×body320valid
1.4s13876×body160valid
407.0ms827×body10240exit
119.0ms44×body5120valid
91.0ms498×body1280nan
89.0ms614×body640nan
42.0ms401×body320nan
35.0ms787×body80overflowed
17.0ms248×body160nan

simplify1.3m (5.2%)

Algorithm
1385×egg-herbie

regimes42.4s (2.8%)

Accuracy

Total 208.6b remaining (41.4%)

Threshold costs 26.2b (5.2%)

19.4b38.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
18.0b16.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.0b58.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.1b25.7%Development.Shake.Progress:decay from shake-0.15.5
8.1b22.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite37.6s (2.5%)

Algorithm
850×rewrite-expression-head
Calls

2286 calls:

707.0ms
(* (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))) 1.0) (/ x (/ y (/ (pow (/ (cbrt 1) (cbrt a)) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))))
646.0ms
(* (/ 1 (sqrt (- 2.0 (+ x y)))) (- (/ x (sqrt (- 2.0 (+ x y)))) (/ y (sqrt (- 2.0 (+ x y))))))
616.0ms
(* (* (* (- (* x 0.5) y) (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
469.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
467.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
72645×times-frac
58895×*-un-lft-identity
55663×add-sqr-sqrt
41782×add-cube-cbrt
14460×prod-diff
9239×add-exp-log
7271×add-cbrt-cube
6952×cbrt-prod
6389×sqrt-prod
6194×distribute-lft-out--
5969×associate-*r*
5883×difference-of-squares
5692×pow1
4825×distribute-rgt-in distribute-lft-in
3863×unpow-prod-down
3679×associate-/r*
3399×div-inv
3053×add-log-exp
2911×associate-/r/
2898×associate-*l*
2851×distribute-lft-out
2448×associate-/l*
2439×prod-exp
2290×log1p-expm1-u
2289×expm1-log1p-u
2216×div-exp
2048×flip3-- flip--
2035×cbrt-unprod
1520×pow-prod-down
1488×cbrt-undiv
1428×cbrt-div
1242×log-prod
1077×associate-*r/
1056×unswap-sqr
980×fma-udef
871×flip-+ flip3-+
861×frac-times
860×pow1/3
858×fma-def
848×exp-sum
830×associate-*l/
687×fma-neg
679×cube-prod
604×associate-+r+
588×sqrt-div associate-+l+
582×*-commutative
522×swap-sqr
491×clear-num frac-2neg
452×sub-neg
429×sqr-pow
413×log-pow
375×associate--l+
359×associate-/l/
341×sqrt-pow1
251×1-exp
244×distribute-rgt-neg-in
239×sum-log
238×distribute-lft-neg-in
224×rec-exp
213×pow-prod-up
199×unpow2
196×pow1/2
195×diff-log
174×pow-sqr
171×pow-exp
157×frac-sub
144×+-commutative
119×frac-add
117×exp-prod
113×div-sub
110×pow-unpow
104×associate--r+
84×pow-plus
82×pow-to-exp
79×pow2 neg-mul-1
74×pow-flip
71×rem-sqrt-square
62×cube-div inv-pow pow-pow log-div
59×tanh-def
42×cube-mult unpow3 distribute-rgt-out-- associate-+l-
35×sinh-def
33×rem-log-exp
30×un-div-inv
28×distribute-rgt-out
25×rem-cube-cbrt
23×cos-sum distribute-rgt-neg-out associate-+r-
20×sub-div
18×rem-exp-log
14×unsub-neg
13×sqrt-unprod rem-square-sqrt
11×hypot-def
10×neg-sub0 rem-cbrt-cube
9×distribute-lft-neg-out expm1-udef
8×hypot-udef expm1-log1p cosh-def
6×associate--l- diff-cos distribute-frac-neg
5×distribute-lft1-in unpow1/3 distribute-rgt1-in count-2 associate--r- sum-cubes
4×exp-diff difference-cubes log1p-udef log1p-expm1 distribute-neg-in
3×sqrt-pow2 cos-diff exp-to-pow
2×neg-log cos-mult distribute-neg-frac tan-quot
1×sqrt-undiv sin-cos-mult exp-sqrt pow3 exp-neg sin-mult mul-1-neg

localize9.5s (0.6%)

bsearch4.5s (0.3%)

end6.0ms (0.0%)