Details

simplify47.1m (54.4%)

series16.3m (18.9%)

Calls

2390 calls:

1.3m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
26.3s
(cbrt (/ 1 (/ (fma (- b y) z y) (fma z (- t a) (* x y)))))
12.8s
(fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* (* 27.0 k) j))))
12.0s
(fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j)))))
2.2s
(cbrt (* (- (sin x) (/ (sin y) 16.0)) (* (- (cos x) (cos y)) (sqrt 2.0))))

prune10.1m (11.7%)

sample9.8m (11.3%)

Algorithm
538×intervals
Results
4.5m2576825×body80valid
1.4m535705×body80nan
55.2s46236×body1280valid
35.8s44454×body640valid
14.3s25077×body320valid
8.9s5467×body2560valid
4.6s14020×body160valid
3.1s1534×body10240exit
296.0ms676×body640nan
273.0ms435×body1280nan
179.0ms402×body320nan
163.0ms39×body5120valid
47.0ms241×body160nan

regimes1.6m (1.9%)

Accuracy

Total 188.6b remaining (38.6%)

Threshold costs 23.3b (4.8%)

12.8b58.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.0b21.5%Development.Shake.Progress:decay from shake-0.15.5
7.6b9.9%Linear.Matrix:det33 from linear-1.19.1.3
7.1b58.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.1b8.3%Data.Colour.Matrix:determinant from colour-2.3.3, A

rewrite1.0m (1.2%)

Algorithm
878×rewrite-expression-head
Calls

2392 calls:

2.0s
(+ (+ (+ (+ (+ x y) y) x) z) x)
1.2s
(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
1.2s
(* (* (* (* (- (* x 0.5) y) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (sqrt z)) (exp (/ (* t t) 2.0)))
766.0ms
(/ (* x (* (sqrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (sqrt (exp (- (fma (log a) (- 1.0) (* y (log z))) (fma t (- (log a)) b)))))) y)
704.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
Rules
61536×times-frac
54367×*-un-lft-identity
51926×add-sqr-sqrt
38908×add-cube-cbrt
15764×prod-diff
10274×add-exp-log
8137×add-cbrt-cube
8051×frac-sub
6892×frac-times
6402×pow1
5880×sqrt-prod
5405×cbrt-prod
5336×tanh-def
4970×distribute-lft-out--
4739×difference-of-squares
4662×associate-*r*
4011×associate-*l*
3544×div-inv
3335×associate-/r*
3304×add-log-exp
3032×distribute-lft-out
2878×prod-exp
2509×div-exp
2476×flip3-- flip--
2420×associate-/l*
2399×distribute-rgt-in distribute-lft-in
2395×cbrt-div
2392×expm1-log1p-u insert-posit16 log1p-expm1-u
2383×associate-/r/
2363×cbrt-unprod
1870×cbrt-undiv
1634×pow-prod-down
1346×associate-*l/
1202×associate-*r/
1173×log-prod
1144×unswap-sqr
1095×fma-neg
1006×pow1/3
915×flip-+ flip3-+
772×fma-def
725×log-pow
709×swap-sqr
580×*-commutative
577×associate-+r+
568×associate--l+
545×sqrt-pow1
521×frac-2neg clear-num
485×associate-+l+
463×sqrt-div
422×sub-neg
410×pow-prod-up
387×associate-/l/
350×fma-udef
328×exp-sum
322×pow1/2
306×1-exp
299×rec-exp
274×pow-sqr
266×diff-log
248×sum-log
198×associate--r+
162×pow-plus
145×+-commutative
124×pow2
113×distribute-rgt-out
107×div-sub
103×unpow-prod-down
96×rem-sqrt-square
84×exp-prod
74×distribute-rgt-neg-in distribute-lft-neg-in
71×pow-unpow
70×pow-flip
65×inv-pow
62×distribute-rgt-out-- un-div-inv
60×rem-log-exp
58×frac-add
57×log-div
54×unpow-prod-up
36×pow-exp
33×sinh-def
32×pow-pow
29×exp-diff rem-exp-log
28×pow3
25×associate-+r-
24×cos-sum
23×neg-mul-1
22×associate-+l-
21×distribute-rgt1-in sqrt-unprod
20×distribute-lft1-in sub-div
19×sqr-pow pow-to-exp hypot-def
17×cube-unmult
16×cube-prod distribute-rgt-neg-out
14×distribute-lft-neg-out
12×difference-cubes unsub-neg
11×cosh-def rem-square-sqrt
10×count-2
9×diff-cos
8×associate--l-
7×rem-cbrt-cube associate--r-
6×neg-sub0
5×distribute-neg-frac unpow1/3 cos-diff
4×sum-cubes
3×sqrt-undiv pow-sub hypot-udef
2×sin-sum cos-neg tan-quot remove-posit16 sin-diff sin-neg
1×mul0 unpow1/2 distribute-frac-neg neg-log exp-to-pow acos-asin

localize26.6s (0.5%)

bsearch6.9s (0.1%)

end7.0ms (0.0%)