Details

simplify46.9m (64.9%)

sample9.3m (12.9%)

Algorithm
539×intervals
Results
3.7m2656360×body80valid
58.5s513829×body80nan
40.0s46699×body1280valid
24.3s42969×body640valid
9.0s5687×body2560valid
8.7s24961×body320valid
3.0s13574×body160valid
1.6s1598×body10240exit
493.0ms479×body1280nan
173.0ms699×body640nan
154.0ms43×body5120valid
108.0ms436×body320nan
29.0ms234×body160nan

prune7.2m (10.0%)

series5.9m (8.1%)

Calls

2364 calls:

3.8s
(* (fma (/ y t) z x) (* (cbrt (/ 1 (+ (fma (/ y t) b a) 1.0))) (cbrt (/ 1 (+ (fma (/ y t) b a) 1.0)))))
2.9s
(cbrt (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))
1.9s
(expm1 (log1p (+ (- (pow (cbrt x) 3) (/ 1.0 (* (sqrt 3.0) (sqrt 3.0)))) (* (+ (/ -1 (sqrt 3.0)) (/ 1 (sqrt 3.0))) (/ 1.0 (sqrt 3.0))))))
1.7s
(pow (cbrt (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) 3)
1.7s
(fma z (/ (- 1 (pow (log t) 3)) (fma (log t) (+ 1 (log t)) 1)) (fma (- a 0.5) b (+ x y)))

rewrite1.6m (2.2%)

Algorithm
871×rewrite-expression-head
Calls

2364 calls:

2.0s
(* x (+ (+ (+ (+ y z) z) y) t))
920.0ms
(* (/ (* (cbrt x) (cbrt x)) z) (* (* (/ (cbrt x) z) (* (cbrt (/ y (+ z 1.0))) (cbrt (/ y (+ z 1.0))))) (cbrt (/ y (+ z 1.0)))))
881.0ms
(- (cbrt (pow (/ x (- 2.0 (+ x y))) 3)) (/ y (- 2.0 (+ x y))))
778.0ms
(+ (+ (+ (+ y z) z) y) t)
765.0ms
(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))
Rules
86241×times-frac
67204×*-un-lft-identity
62902×add-sqr-sqrt
49966×add-cube-cbrt
19270×prod-diff
10015×add-exp-log
7981×cbrt-prod
7847×add-cbrt-cube
6946×associate-*r*
6146×pow1
5771×unpow-prod-down
5421×distribute-lft-out--
5366×sqrt-prod
4833×difference-of-squares
4448×unpow-prod-up
4341×associate-/r*
3831×distribute-lft-out
3811×div-inv
3497×associate-*l*
3156×add-log-exp
2768×prod-exp
2756×distribute-rgt-in distribute-lft-in
2702×associate-/r/
2550×associate-/l*
2392×div-exp
2368×log1p-expm1-u
2367×expm1-log1p-u
2275×cbrt-unprod
1680×pow-prod-down
1668×sqr-pow
1620×cbrt-undiv
1616×flip3-- flip--
1278×associate--l+
1210×unswap-sqr
1125×fma-def
1104×cube-prod
1089×associate-*r/
1049×flip-+ flip3-+
929×fma-neg
847×frac-times
846×associate-*l/
817×sub-neg
791×cbrt-div
782×pow1/3
768×log-prod
639×swap-sqr
613×*-commutative
611×associate-+r+
569×sqrt-div
554×sqrt-pow1
512×clear-num frac-2neg
384×log-pow
349×associate-/l/
338×fma-udef
308×distribute-rgt-neg-in distribute-lft-neg-in
307×1-exp
300×pow-prod-up
285×rec-exp
278×pow1/2
229×sum-log
223×pow-sqr
211×diff-log
197×associate-+l+
179×pow-unpow
178×associate--r+
139×+-commutative
138×pow-exp
137×exp-prod
129×frac-sub
126×pow-sub
125×pow-to-exp
103×div-sub
100×pow-plus
98×unpow2
92×rem-sqrt-square pow-flip
89×unpow3 cube-mult
88×pow-pow
86×frac-add exp-sum
85×pow2
82×inv-pow
63×tanh-def
59×neg-mul-1
55×sinh-def
50×difference-of-sqr-1 rem-log-exp
47×log-div
43×un-div-inv
41×distribute-rgt-out--
37×cosh-def
27×associate-+l-
26×distribute-rgt-neg-out
25×distribute-lft-neg-out
23×cos-sum
22×rem-cube-cbrt sqrt-unprod distribute-rgt-out associate-+r-
21×cube-div
19×unsub-neg
17×rem-square-sqrt
16×sub-div
14×rem-exp-log
12×hypot-def
11×sum-cubes
10×hypot-udef associate--l-
9×expm1-log1p associate--r- distribute-neg-frac
8×rem-cbrt-cube expm1-udef
7×neg-sub0
6×exp-diff
5×log1p-udef distribute-lft1-in distribute-rgt1-in log1p-expm1 count-2 distribute-frac-neg
4×sqrt-pow2 unpow1/3 diff-cos
3×difference-cubes cos-diff
2×pow-div sqrt-undiv exp-to-pow neg-log sin-mult log1p-def tan-quot
1×sin-cos-mult exp-neg

regimes60.0s (1.4%)

Accuracy

Total 188.2b remaining (37.3%)

Threshold costs 25.3b (5%)

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
6.8b20.8%Numeric.Signal:interpolate from hsignal-0.2.7.1

localize16.5s (0.4%)

bsearch8.9s (0.2%)

end4.0ms (0.0%)