Details

simplify45.3m (65.0%)

sample9.0m (13.0%)

Algorithm
539×intervals
Results
3.7m2656360×body80valid
59.5s513829×body80nan
38.0s46699×body1280valid
23.6s42969×body640valid
8.5s24961×body320valid
8.0s5687×body2560valid
4.2s13574×body160valid
1.7s1598×body10240exit
239.0ms699×body640nan
177.0ms479×body1280nan
147.0ms43×body5120valid
74.0ms436×body320nan
26.0ms234×body160nan

prune6.8m (9.8%)

series5.7m (8.1%)

Calls

2357 calls:

3.9s
(* (fma (/ y t) z x) (* (cbrt (/ 1 (+ (fma (/ y t) b a) 1.0))) (cbrt (/ 1 (+ (fma (/ y t) b a) 1.0)))))
2.0s
(fma z (/ (- 1 (pow (log t) 3)) (fma (log t) (+ 1 (log t)) 1)) (fma (- a 0.5) b (+ x y)))
1.8s
(cbrt (fma x (log y) (fma z (- (log 1.0) (* 1.0 y)) (* (/ (* z (pow y 2)) (pow 1.0 2)) -1/2))))
1.5s
(/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) 3.0) (fma (cos y) (/ (- 3.0 (sqrt 5.0)) 2.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)))
1.3s
(/ (+ (pow 1.0 (/ 3 2)) (sqrt (pow x 6))) (/ (fma 1.0 (fma x x 1.0) (pow x 4)) (- (pow 1.0 3/2) (sqrt (pow x 6)))))

rewrite1.5m (2.1%)

Algorithm
873×rewrite-expression-head
Calls

2357 calls:

1.8s
(* x (+ (+ (+ (+ y z) z) y) t))
877.0ms
(+ (+ (+ (+ y z) z) y) t)
864.0ms
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
839.0ms
(* (/ (* (cbrt x) (cbrt x)) z) (* (* (/ (cbrt x) z) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0))))) (cbrt (/ y (+ z 1.0)))))
740.0ms
(- (cbrt (pow (/ x (- 2.0 (+ x y))) 3)) (/ y (- 2.0 (+ x y))))
Rules
80755×times-frac
65207×*-un-lft-identity
60806×add-sqr-sqrt
47458×add-cube-cbrt
18820×prod-diff
9927×add-exp-log
7656×add-cbrt-cube
7644×cbrt-prod
6248×associate-*r*
6107×unpow-prod-down
6028×pow1
5601×distribute-lft-out--
5218×difference-of-squares
4457×associate-/r*
4448×unpow-prod-up
4035×sqrt-prod
3900×distribute-lft-out
3612×div-inv
3262×associate-*l*
3165×add-log-exp
2832×associate-/r/
2702×distribute-rgt-in distribute-lft-in
2657×prod-exp
2468×associate-/l*
2442×div-exp
2362×log1p-expm1-u
2360×expm1-log1p-u
2131×cbrt-unprod
1829×sqr-pow
1640×flip3-- flip--
1603×cbrt-undiv
1576×pow-prod-down
1232×associate-*r/
1158×unswap-sqr
1114×fma-def
1096×cube-prod
1085×associate--l+
1066×flip-+ flip3-+
946×fma-neg
887×cbrt-div
830×frac-times
829×associate-*l/
823×sub-neg
800×pow1/3
765×log-prod
701×swap-sqr
603×*-commutative
575×associate-+r+
568×sqrt-pow1
557×distribute-rgt-neg-in distribute-lft-neg-in
515×clear-num frac-2neg
467×sqrt-div
381×associate-/l/
347×log-pow
324×fma-udef
318×1-exp
297×pow-prod-up
294×rec-exp
289×associate-+l+
261×pow1/2
239×pow-unpow sum-log
224×pow-sqr
215×diff-log
188×associate--r+
165×pow-exp
139×+-commutative
134×pow-to-exp
128×frac-sub
126×pow-sub
119×pow-pow
117×frac-add
106×neg-mul-1
103×div-sub
99×pow-plus
95×rem-sqrt-square
88×pow-flip
85×inv-pow pow2
83×exp-prod
80×unpow3 cube-mult
79×exp-sum
70×unpow2
63×tanh-def
55×sinh-def
50×difference-of-sqr-1
46×un-div-inv
45×log-div
43×distribute-rgt-out--
37×rem-log-exp
30×rem-cube-cbrt
29×associate-+l-
24×distribute-lft-neg-out
23×cube-div cos-sum distribute-rgt-neg-out
22×associate-+r-
20×sqrt-unprod
19×distribute-rgt-out
18×unsub-neg
16×sub-div distribute-neg-frac
15×rem-square-sqrt
14×rem-exp-log
13×sum-cubes
12×cosh-def
11×hypot-def
10×hypot-udef rem-cbrt-cube associate--l-
9×expm1-log1p associate--r- expm1-udef
7×neg-sub0
6×unpow1/3
5×exp-diff sqrt-pow2 log1p-udef distribute-rgt1-in log1p-expm1 distribute-lft1-in count-2
4×diff-cos distribute-frac-neg
3×cos-diff neg-log
2×pow-div sqrt-undiv sin-mult tan-quot
1×sin-cos-mult exp-neg

regimes57.7s (1.4%)

Accuracy

Total 186.8b remaining (36.8%)

Threshold costs 25.1b (4.9%)

12.1b61.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.8b47.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.1b-5.1%Linear.Matrix:det44 from linear-1.19.1.3
7.2b63.8%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.0b23.5%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

localize16.3s (0.4%)

bsearch6.6s (0.2%)

end3.0ms (0.0%)