Details

prune4.5m (29.0%)

series4.3m (27.6%)

Calls

2283 calls:

6.3s
(pow (fma (- (log 1.0) (+ (fma 1/2 (/ (pow z 2) (pow 1.0 2)) (* 1.0 z)) b)) a (* y (- (log z) t))) 3)
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))))
2.4s
(pow (fma (log (/ 1 z)) y (fma (log (/ 1 a)) t b)) 3)

sample3.8m (24.5%)

Algorithm
538×intervals
Results
1.5m2658077×body80valid
21.8s515094×body80nan
18.1s46544×body1280valid
9.6s41054×body640valid
4.4s5776×body2560valid
3.7s23848×body320valid
1.3s13229×body160valid
367.0ms6697×body80overflowed
117.0ms46×body5120valid
108.0ms661×body640nan
89.0ms457×body1280nan
52.0ms413×body320nan
18.0ms255×body160nan

simplify1.2m (8.0%)

Algorithm
1382×egg-herbie

regimes45.9s (5.0%)

Accuracy

Total 209.1b remaining (41.9%)

Threshold costs 27.4b (5.5%)

19.6b38.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
18.2b18.1%Development.Shake.Progress:decay from shake-0.15.5
14.4b55.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.6b-21.2%Linear.Matrix:det44 from linear-1.19.1.3
8.7b-0%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite39.2s (4.2%)

Algorithm
845×rewrite-expression-head
Calls

2283 calls:

705.0ms
(/ (- (+ (* (* (+ x y) (* (cbrt z) (cbrt z))) (cbrt z)) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
689.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
606.0ms
(* (* (/ (- x y) (- z y)) (* (cbrt t) (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t))))) (cbrt t))
538.0ms
(* x (/ 1 (* (* (cbrt (* (- y z) (- y t))) (cbrt (* (- y z) (- y t)))) (cbrt (* (- y z) (- y t))))))
497.0ms
(* (* (* (- y z) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt 1) (cbrt (- a z)))) (- t x))
Rules
67028×times-frac
54895×*-un-lft-identity
54206×add-sqr-sqrt
40418×add-cube-cbrt
16126×prod-diff
10068×add-exp-log
7825×add-cbrt-cube
7499×sqrt-prod
6085×cbrt-prod
5939×associate-*r*
5564×pow1
4861×difference-of-squares
4739×distribute-lft-out--
3761×div-inv
3508×distribute-rgt-in distribute-lft-in
3450×associate-*l*
3317×flip3-- flip--
3201×associate-/r/
3125×cbrt-div
3086×frac-times
3019×add-log-exp
2986×associate-/r*
2810×prod-exp
2669×distribute-lft-out
2489×div-exp
2288×log1p-expm1-u
2284×expm1-log1p-u
2240×cbrt-unprod
2172×associate-/l*
1656×cbrt-undiv
1641×associate-*r/
1406×associate-*l/
1384×pow-prod-down
1216×unswap-sqr
1189×unpow-prod-down
1156×fma-neg
1092×log-prod
923×flip-+ flip3-+
817×associate-+r+
748×pow1/3
636×associate--l+
616×sqrt-div
602×*-commutative
549×associate-+l+
501×swap-sqr
491×clear-num frac-2neg
490×sub-neg
471×sqrt-pow1
435×fma-def
393×log-pow
357×associate-/l/
351×1-exp
342×fma-udef
328×cube-prod
305×rec-exp
289×pow1/2
277×sqr-pow
239×pow-prod-up
235×sum-log
174×distribute-rgt-neg-in diff-log
169×distribute-lft-neg-in
168×pow-sqr
159×unpow2
158×pow-exp
149×+-commutative
148×pow-unpow
135×frac-sub
132×exp-sum
123×rem-sqrt-square
111×div-sub
103×pow-flip
99×pow-to-exp
87×associate--r+
81×pow-pow
77×log-div
71×pow-plus
69×inv-pow
68×pow2
63×exp-prod
54×frac-add
51×distribute-rgt-out--
50×rem-log-exp
43×cube-mult unpow3 un-div-inv
42×neg-mul-1
41×distribute-rgt-out
38×distribute-rgt-neg-out
33×cosh-def
32×cube-div tanh-def
28×rem-cube-cbrt
27×hypot-def
24×cos-sum sinh-def
19×associate-+l-
16×sub-div sqrt-unprod
15×distribute-lft-neg-out
14×rem-exp-log unsub-neg rem-square-sqrt
13×rem-cbrt-cube
12×associate--r-
10×associate-+r-
8×exp-diff associate--l- hypot-udef expm1-udef
7×sqrt-pow2 expm1-log1p distribute-neg-frac
6×distribute-lft1-in
5×distribute-rgt1-in count-2 neg-sub0 tan-quot
4×sum-cubes log1p-udef unpow1/3 log1p-expm1 diff-cos exp-to-pow
3×cos-diff neg-log
2×pow-div distribute-frac-neg distribute-neg-in
1×sin-neg log1p-def exp-neg sin-sum cube-unmult log-rec sin-diff mul-1-neg

localize9.5s (1.0%)

bsearch6.7s (0.7%)

end5.0ms (0.0%)