Details

series14.2m (54.6%)

Calls

2296 calls:

3.4s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
2.9s
(fma t (- (* (* (* x (* 18.0 y)) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.8s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

prune5.1m (19.7%)

sample3.5m (13.4%)

Algorithm
537×intervals
Results
1.3m2587893×body80valid
21.0s504096×body80nan
18.3s47512×body1280valid
9.9s42587×body640valid
4.4s5596×body2560valid
3.7s24551×body320valid
1.4s13523×body160valid
789.0ms1552×body10240exit
110.0ms40×body5120valid
101.0ms658×body640nan
89.0ms473×body1280nan
47.0ms421×body320nan
17.0ms238×body160nan

simplify1.5m (5.7%)

Algorithm
1387×egg-herbie

rewrite43.4s (2.8%)

Algorithm
852×rewrite-expression-head
Calls

2298 calls:

799.0ms
(* (* (* (* (- y x) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0)))) (cbrt (sqrt 6.0))) (sqrt 6.0)) z)
755.0ms
(/ (/ (+ (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (/ 1 6.0) (/ (- (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0))))))
653.0ms
(* (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))) (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))))
641.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
501.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
174207×times-frac
119570×*-un-lft-identity
109374×add-sqr-sqrt
73955×add-cube-cbrt
56862×sqrt-prod
16082×difference-of-squares
13871×prod-diff
12189×distribute-lft-out
11086×distribute-lft-out--
8788×add-exp-log
7209×add-cbrt-cube
6510×div-inv
5396×pow1
5311×associate-*r*
5267×cbrt-prod
4404×distribute-rgt-in distribute-lft-in
3760×associate-/r*
3381×associate-*l*
3004×add-log-exp
2749×associate-/l*
2437×unpow-prod-down
2332×associate-/r/
2303×log1p-expm1-u
2301×expm1-log1p-u
2197×prod-exp
2081×div-exp
1885×flip-- flip3--
1859×cbrt-unprod
1731×associate-+l+
1570×cbrt-div
1461×cbrt-undiv
1377×log-prod
1324×pow-prod-down
1216×unswap-sqr
1144×cube-prod
1017×associate-*r/
946×frac-times
854×swap-sqr
825×pow1/3
772×associate-*l/
760×flip-+ flip3-+
648×fma-def
593×*-commutative
501×clear-num frac-2neg
466×sqr-pow
458×fma-neg sub-neg
455×fma-udef
448×exp-sum
446×associate--l+
439×sqrt-div
433×associate-+r+
397×sqrt-pow1
393×associate-/l/
259×pow-prod-up
250×pow1/2
248×log-pow
218×1-exp
215×sum-log
206×unpow3 cube-mult rec-exp
188×pow-sqr
174×diff-log
150×pow-exp
142×frac-sub
130×distribute-lft-neg-in distribute-rgt-neg-in
129×+-commutative
124×pow-unpow
109×div-sub
103×pow-to-exp
98×rem-sqrt-square
90×unpow-prod-up
88×pow-plus
85×unpow2
83×pow2
78×associate--r+ exp-prod
74×pow-flip
71×pow-pow
59×cosh-def
57×un-div-inv
56×inv-pow
55×log-div
50×tanh-def
33×rem-log-exp
31×frac-add distribute-rgt-out distribute-rgt-out--
29×associate-+l- neg-mul-1
26×hypot-def distribute-rgt-neg-out
23×cos-sum
22×sinh-def
21×sqrt-unprod
19×rem-exp-log
18×sub-div
16×distribute-lft-neg-out hypot-udef rem-square-sqrt
10×rem-cube-cbrt difference-cubes
9×log1p-udef unpow1/3 log1p-expm1
8×cube-div associate-+r-
7×sqrt-undiv expm1-log1p unsub-neg expm1-udef
6×exp-diff associate--r- rem-cbrt-cube
5×associate--l- distribute-rgt1-in distribute-lft1-in count-2
4×neg-sub0 sum-cubes exp-to-pow tan-quot
3×sqrt-pow2 cos-diff diff-cos distribute-frac-neg
2×pow3 pow-sub distribute-neg-frac
1×exp-neg remove-double-div neg-log mul-1-neg

regimes43.1s (2.8%)

Accuracy

Total 180.0b remaining (36.4%)

Threshold costs 22.8b (4.6%)

17.5b17.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.4b52%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.8b55.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
8.7b32%Development.Shake.Progress:decay from shake-0.15.5
8.7b-11.9%Data.Colour.Matrix:determinant from colour-2.3.3, A

localize9.7s (0.6%)

bsearch5.5s (0.3%)

end6.0ms (0.0%)