Details

series13.8m (55.5%)

Calls

2307 calls:

1.9s
(fma x x (+ (* (* y 4.0) (- t (* z z))) (* (* y 4.0) (fma (- z) z (* z z)))))
1.3s
(/ (/ 1 (fma (- b y) z y)) (/ 1 (fma x y (* z (- t a)))))
1.2s
(fma 2.0 (fma t z (* x y)) (* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i)))))
1.2s
(/ 1 (/ (fma (- b y) z y) (fma x y (* z (- t a)))))
1.0s
(* (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) (/ (/ 1 (fma (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y) (fma (/ (- (sqrt 5.0) 1.0) 2.0) (cos x) 1.0))) 3.0))

prune4.7m (19.1%)

sample3.4m (13.7%)

Algorithm
537×intervals
Results
1.2m2579740×body80valid
20.4s503147×body80nan
18.0s46678×body1280valid
9.8s42823×body640valid
4.2s5466×body2560valid
3.8s25070×body320valid
1.3s13704×body160valid
773.0ms1562×body10240exit
111.0ms41×body5120valid
102.0ms682×body640nan
85.0ms464×body1280nan
38.0ms363×body320nan
14.0ms218×body160nan

simplify1.4m (5.5%)

Algorithm
1402×egg-herbie

regimes40.4s (2.7%)

Accuracy

Total 161.0b remaining (34.7%)

Threshold costs 27.3b (5.9%)

14.9b20.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.9b54.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.7b0%Linear.Matrix:det33 from linear-1.19.1.3
6.8b17.6%Numeric.Signal:interpolate from hsignal-0.2.7.1
5.8b0%Codec.Picture.Jpg.FastDct:referenceDct from JuicyPixels-3.2.6.1

rewrite40.0s (2.7%)

Algorithm
867×rewrite-expression-head
Calls

2309 calls:

635.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
633.0ms
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
479.0ms
(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- a x))
460.0ms
(- (/ 1 (/ (- 2.0 (+ x y)) x)) (/ 1 (/ (- 2.0 (+ x y)) y)))
430.0ms
(- (+ y (/ (pow x (/ 2 2)) (/ y x))) (/ (pow z 2) y))
Rules
83852×times-frac
72922×*-un-lft-identity
64840×add-sqr-sqrt
47478×add-cube-cbrt
21021×prod-diff
9661×add-exp-log
8959×distribute-lft-out--
7582×add-cbrt-cube
7163×difference-of-squares
6761×sqrt-prod
5946×pow1
5115×distribute-rgt-in distribute-lft-in
4832×distribute-lft-out
4722×associate-*r*
4432×cbrt-prod
4008×div-inv
3242×associate-/r*
3160×add-log-exp
3071×associate-*l*
2996×associate-/r/
2676×associate-/l*
2616×prod-exp
2357×flip3-- flip--
2323×div-exp
2314×expm1-log1p-u
2312×log1p-expm1-u
2065×cbrt-unprod
1995×log-prod
1798×associate-*r/
1590×pow-prod-down
1557×associate-*l/
1531×cbrt-undiv
1512×exp-sum
1428×associate-+r+
1177×flip-+ flip3-+
1123×unpow-prod-down
1093×frac-times
1074×unswap-sqr
902×fma-def
875×sqrt-div
839×fma-neg
813×sqrt-pow1
756×swap-sqr
726×cbrt-div
724×frac-sub
704×pow1/3
632×associate--l+
623×*-commutative
583×associate-/l/
501×frac-2neg clear-num
487×sub-neg
458×fma-udef
429×associate-+l+
368×log-pow
351×pow1/2
336×1-exp
319×pow-prod-up
306×rec-exp
256×sum-log
255×cube-prod
233×sqr-pow
217×diff-log
208×pow-sqr
203×exp-prod
157×+-commutative
126×div-sub
115×pow-exp
109×associate--r+
94×rem-sqrt-square
91×distribute-rgt-neg-in distribute-lft-neg-in
90×pow-unpow
88×frac-add
80×pow-plus
77×pow-to-exp
76×pow2
72×unpow2
70×pow-flip log-div
65×inv-pow
63×distribute-rgt-out-- tanh-def
51×unpow3 cube-mult
47×pow-pow
46×rem-log-exp
45×un-div-inv
37×neg-mul-1
30×associate-+l-
26×sqrt-unprod
23×distribute-rgt-out cos-sum
22×sub-div
20×cube-div rem-cube-cbrt distribute-rgt-neg-out
19×rem-exp-log
18×rem-square-sqrt
17×hypot-def sum-cubes cosh-def
16×hypot-udef
14×e-exp-1
13×sinh-def
12×associate--r-
11×associate-+r-
9×unpow1/3 associate--l-
8×distribute-lft-neg-out distribute-lft1-in unsub-neg neg-sub0
7×exp-diff log1p-udef log1p-expm1 sin-mult expm1-udef
6×expm1-log1p cos-mult rem-cbrt-cube
5×distribute-rgt1-in difference-of-sqr-1 count-2
4×sin-neg distribute-neg-in diff-cos tan-quot
3×sqrt-pow2 cos-diff unpow-prod-up sin-diff
2×expm1-def difference-cubes exp-neg distribute-frac-neg acos-asin neg-log mul-1-neg
1×exp-to-pow pow3

localize9.3s (0.6%)

bsearch2.8s (0.2%)

end5.0ms (0.0%)