Details

series14.4m (57.5%)

Calls

2317 calls:

3.7s
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* t i))) (* b (fma (- i) t (* i t))))))
3.0s
(fma t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
3.0s
(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)))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* 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)))))

prune4.5m (17.8%)

sample3.4m (13.4%)

Algorithm
537×intervals
Results
1.2m2582161×body80valid
19.9s504255×body80nan
17.6s47436×body1280valid
9.6s43428×body640valid
4.3s5796×body2560valid
3.7s24247×body320valid
1.3s13628×body160valid
799.0ms1608×body10240exit
128.0ms47×body5120valid
110.0ms710×body640nan
93.0ms485×body1280nan
43.0ms397×body320nan
16.0ms237×body160nan

simplify1.3m (5.1%)

Algorithm
1387×egg-herbie

regimes42.2s (2.8%)

Accuracy

Total 165.2b remaining (38.2%)

Threshold costs 26.6b (6.2%)

11.4b49.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.5b24.5%Development.Shake.Progress:decay from shake-0.15.5
9.5b8.7%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.6b61.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
6.7b19.5%Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTick from plot-0.2.3.4, B

rewrite39.7s (2.6%)

Algorithm
852×rewrite-expression-head
Calls

2320 calls:

1.9s
(* (/ (/ (+ (sqrt x) (sqrt 1.0)) 1) (sqrt (/ 1 6.0))) (/ (/ (- (sqrt x) (sqrt 1.0)) (fma (sqrt x) 4.0 (+ x 1.0))) (sqrt (/ 1 6.0))))
614.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
491.0ms
(- (/ (/ 1 1) (/ y (/ x y))) 3.0)
490.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
414.0ms
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (sqrt (exp (/ (* t t) 2.0))))
Rules
65883×times-frac
52633×*-un-lft-identity
51382×add-sqr-sqrt
38638×add-cube-cbrt
11524×prod-diff
9847×add-exp-log
7640×add-cbrt-cube
7518×cbrt-prod
7121×sqrt-prod
6791×associate-*r*
6245×pow1
4431×difference-of-squares
4413×distribute-lft-out--
3487×associate-*l*
3461×div-inv
3279×distribute-rgt-in distribute-lft-in
3125×associate-/r*
3095×add-log-exp
2726×prod-exp
2598×distribute-lft-out
2414×div-exp
2325×expm1-log1p-u
2323×log1p-expm1-u
2239×cbrt-unprod
2169×associate-/l*
1787×pow-prod-down
1706×associate-/r/
1502×cbrt-undiv
1494×unpow-prod-down
1367×unswap-sqr
1309×flip3-- flip--
1131×swap-sqr
1067×cbrt-div
1066×fma-neg
1029×log-prod
1005×associate-*r/
955×pow1/3
937×flip-+ flip3-+
885×fma-def
820×associate-*l/
775×associate-+r+
710×frac-times
677×associate--l+
629×*-commutative
628×fma-udef
598×sqrt-pow1
597×sqrt-div
510×associate-+l+
452×clear-num frac-2neg
418×sub-neg
381×exp-sum
369×associate-/l/
356×1-exp
330×rec-exp
326×pow-prod-up
315×log-pow
302×pow1/2
258×sqr-pow
246×sum-log
235×pow-sqr
182×diff-log
181×cube-prod
149×+-commutative
113×pow-plus
109×unpow2
107×rem-sqrt-square
103×div-sub
98×pow2 frac-sub
95×pow-exp
93×distribute-lft-neg-in
90×unpow-prod-up
87×associate--r+
82×pow-flip
76×distribute-rgt-out
75×frac-add
74×distribute-rgt-neg-in
68×inv-pow
60×log-div
50×pow-to-exp
49×pow-unpow
47×un-div-inv
45×distribute-rgt-neg-out
35×exp-prod pow-pow
32×sinh-def
31×cube-mult unpow3 hypot-def rem-log-exp
26×associate-+l-
25×distribute-rgt-out--
24×sqrt-unprod neg-mul-1
23×cos-sum
22×tanh-def
17×hypot-udef
16×rem-square-sqrt
14×rem-cube-cbrt
13×distribute-lft-neg-out
12×unsub-neg
11×cube-div distribute-lft1-in associate--r- cosh-def
10×associate-+r-
9×sub-div expm1-log1p expm1-udef
8×sum-cubes distribute-neg-frac exp-to-pow
7×rem-exp-log associate--l-
6×log1p-udef log1p-expm1 diff-cos
5×difference-cubes distribute-rgt1-in count-2 sin-mult
4×neg-sub0
3×rem-cbrt-cube sqrt-pow2 cos-diff
2×exp-diff sqrt-undiv distribute-neg-in pow-sub neg-log tan-quot
1×sin-cos-mult unpow1/3 pow3 exp-neg remove-double-div distribute-frac-neg cos-mult mul-1-neg

localize9.3s (0.6%)

bsearch3.2s (0.2%)

end6.0ms (0.0%)