Details

simplify44.3m (53.3%)

series16.3m (19.6%)

Calls

2275 calls:

20.7s
(* (cbrt (fma y (- (log z) t) (* (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (- (log 1.0) (* 1.0 z))) b) a))) (cbrt (fma y (- (log z) t) (* (- (fma (* (/ z 1.0) (/ z 1.0)) -1/2 (- (log 1.0) (* 1.0 z))) b) a))))
11.7s
(fma b c (- (* z (* (* t x) (* y 18.0))) (fma 4.0 (fma t a (* x i)) (* 27.0 (* k j)))))
3.6s
(* (cbrt (fma (log y) (+ 0.5 y) (- z y))) (cbrt (fma (log y) (+ 0.5 y) (- z y))))
2.1s
(/ (/ (fma (* (- (sin x) (/ (sin y) 16.0)) (sqrt 2.0)) (* (- (cos x) (cos y)) (- (sin y) (* 0.0625 (sin x)))) 2.0) 3.0) (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0)))
1.9s
(/ (/ (fma (* (- (sin x) (/ (sin y) 16.0)) (sqrt 2.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) 3.0) (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0)))

prune10.1m (12.2%)

sample8.6m (10.4%)

Algorithm
538×intervals
Results
3.0m2577519×body80valid
59.8s537826×body80nan
41.1s46444×body1280valid
25.6s44586×body640valid
10.3s25567×body320valid
7.3s5711×body2560valid
3.2s13639×body160valid
1.7s1543×body10240exit
224.0ms479×body1280nan
176.0ms655×body640nan
115.0ms34×body5120valid
72.0ms417×body320nan
27.0ms239×body160nan

regimes1.8m (2.2%)

Accuracy

Total 195.2b remaining (37.1%)

Threshold costs 23.5b (4.5%)

12.9b58.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.3b49.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.2b-3%Data.Colour.Matrix:determinant from colour-2.3.3, A
7.9b13.7%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.3b12.8%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

rewrite1.3m (1.6%)

Algorithm
851×rewrite-expression-head
Calls

2277 calls:

9.9s
(* (/ (/ (sqrt 6.0) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (sqrt (fma (sqrt x) 4.0 (+ x 1.0))) (- x 1.0))) (/ (/ (sqrt 6.0) (/ 1 (+ (sqrt x) (sqrt 1.0)))) (+ (sqrt x) (sqrt 1.0))))
926.0ms
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
591.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
527.0ms
(* (* 3.0 (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))) (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
494.0ms
(* x (- (/ (/ y (cbrt z)) (* (cbrt z) (cbrt z))) (/ t (- 1.0 z))))
Rules
94646×times-frac
72038×*-un-lft-identity
68432×add-sqr-sqrt
48352×add-cube-cbrt
20562×sqrt-prod
13678×prod-diff
9771×add-exp-log
7846×difference-of-squares
7465×add-cbrt-cube
6815×cbrt-prod
6527×distribute-lft-out--
5940×pow1
5428×distribute-lft-out
5306×associate-*r*
4695×associate-*l*
3865×div-inv
3778×associate-/r*
3014×associate-/r/
2961×add-log-exp
2799×associate-/l*
2700×div-exp
2564×distribute-rgt-in distribute-lft-in
2450×prod-exp
2285×expm1-log1p-u
2283×log1p-expm1-u
1964×cbrt-unprod
1841×flip3-- flip--
1689×cbrt-undiv
1598×pow-prod-down
1371×cbrt-div
1277×unswap-sqr
1091×log-prod
978×flip-+ flip3-+
970×fma-def
955×associate-*r/
876×associate-*l/
817×pow1/3
798×frac-times
779×fma-neg
752×swap-sqr
565×associate-+r+
547×*-commutative
501×sqrt-pow1
499×frac-2neg clear-num
447×1-exp
441×rec-exp
359×associate-/l/
354×sub-neg
341×associate--l+
331×pow-prod-up
324×fma-udef
319×log-pow
269×sqrt-div
242×pow1/2
228×pow-sqr
224×diff-log
204×associate--r+
185×exp-sum
148×sum-log
121×pow-plus
116×div-sub
110×associate-+l+
103×pow2
98×+-commutative exp-prod
83×pow-flip
81×rem-sqrt-square
74×cube-unmult inv-pow
72×frac-sub
54×frac-add
50×un-div-inv log-div
49×rem-log-exp
46×distribute-rgt-neg-in
44×distribute-rgt-out-- distribute-lft-neg-in
39×difference-cubes
31×distribute-rgt-out
27×unpow-prod-down
23×cos-sum
21×distribute-lft-neg-out pow-exp sub-div sinh-def
20×associate-+r- sqrt-unprod
19×pow3
18×associate-+l-
17×expm1-udef pow-unpow rem-exp-log
16×neg-mul-1
15×expm1-log1p
14×log1p-udef
13×log1p-expm1 rem-square-sqrt unpow-prod-up
12×unsub-neg pow-pow
11×tanh-def hypot-def
10×pow-to-exp count-2
9×associate--l- sqr-pow associate--r-
8×distribute-rgt-neg-out rem-cbrt-cube
7×exp-diff unpow1/3
6×distribute-lft1-in distribute-rgt1-in cos-mult exp-to-pow diff-cos
5×cosh-def
4×sqr-cos
3×neg-sub0 sqrt-undiv exp-neg cos-diff
2×tan-quot sin-mult e-exp-1
1×pow-sub asin-acos acos-asin

localize26.7s (0.5%)

bsearch5.7s (0.1%)

end7.0ms (0.0%)