Details

series4.2m (26.9%)

Calls

2299 calls:

5.3s
(/ (* (cbrt (- (* x x) (* (/ (- y x) z) (/ (- y x) z)))) (cbrt (- (* x x) (* (/ (- y x) z) (/ (- y x) z))))) (* (cbrt (- x (/ (- y x) z))) (cbrt (- x (/ (- y x) z)))))
3.5s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (* j 27.0) (* (cbrt k) (cbrt k))) (cbrt k)))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k))))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))

prune4.1m (26.3%)

sample4.1m (26.0%)

Algorithm
539×intervals
Results
1.4m2654652×body80valid
20.8s519769×body80nan
17.4s46779×body1280valid
9.6s44015×body640valid
4.3s5744×body2560valid
3.6s25051×body320valid
1.3s13699×body160valid
725.0ms1509×body10240exit
117.0ms45×body5120valid
94.0ms669×body640nan
86.0ms480×body1280nan
42.0ms419×body320nan
12.0ms189×body160nan

simplify1.2m (7.5%)

Algorithm
1400×egg-herbie

rewrite1.1m (6.7%)

Algorithm
861×rewrite-expression-head
Calls

2299 calls:

2.5s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.3s
(* (/ (cbrt 1.0) (/ (sqrt (fma z z 1.0)) (cbrt 1.0))) (/ (/ (/ (cbrt 1.0) x) (sqrt (fma z z 1.0))) y))
1.0s
(* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))) (cbrt (cbrt 3.0))) y)
960.0ms
(- (+ (/ (* b (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (+ (+ y t) 2.0)) x) (* (- t 1.0) a))
765.0ms
(* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))
Rules
59701×times-frac
49622×*-un-lft-identity
47752×add-sqr-sqrt
36176×add-cube-cbrt
10986×prod-diff
9984×add-exp-log
7386×add-cbrt-cube
6652×cbrt-prod
5851×pow1
5578×sqrt-prod
5237×associate-*r*
4695×associate-*l*
3847×difference-of-squares
3816×distribute-lft-out--
3469×associate-/r*
3307×div-inv
3184×distribute-lft-out
3122×add-log-exp
3077×distribute-rgt-in distribute-lft-in
2663×div-exp
2597×prod-exp
2312×associate-/l*
2305×expm1-log1p-u
2301×log1p-expm1-u
1939×unpow-prod-down
1937×cbrt-unprod
1874×associate-/r/
1739×associate-+r+
1690×cbrt-undiv
1613×log-prod
1424×flip3-- flip--
1385×pow-prod-down
1356×cbrt-div
1324×unswap-sqr
1126×associate-*r/
990×frac-times
897×associate-*l/
865×flip-+ flip3-+
817×pow1/3
736×swap-sqr
681×cube-prod
625×associate-+l+
608×associate--l+
601×*-commutative
567×log-pow
566×sqrt-pow1
548×fma-neg
518×fma-udef
514×fma-def
508×exp-sum
497×clear-num frac-2neg
465×sub-neg
401×associate-/l/
372×1-exp
368×sqrt-div
360×sqr-pow
322×rec-exp
321×frac-sub
298×pow1/2 pow-prod-up
265×sum-log
254×tanh-def
222×pow-sqr
197×distribute-lft-neg-in
196×diff-log
179×distribute-rgt-neg-in
170×pow-exp
149×+-commutative
125×pow-flip
117×unpow2
114×pow-unpow
113×distribute-rgt-out div-sub
111×pow-plus
109×exp-prod
108×log-div
104×rem-sqrt-square
101×pow-to-exp
96×pow2
91×inv-pow
88×unpow3 cube-mult
83×associate--r+
80×frac-add
71×rem-log-exp
64×pow-pow
53×un-div-inv
51×neg-mul-1
42×distribute-rgt-neg-out
37×sinh-def
27×associate-+l-
25×cos-sum
24×hypot-def
23×sqrt-unprod
22×rem-cube-cbrt
19×distribute-lft-neg-out
18×unpow-prod-up
17×distribute-lft1-in cosh-def
16×rem-exp-log
15×cube-div
14×rem-square-sqrt
13×associate-+r- distribute-rgt1-in rem-cbrt-cube
12×hypot-udef unsub-neg
11×distribute-rgt-out--
10×unpow1/3 difference-of-sqr-1 associate--r-
9×associate--l- sub-div count-2
8×log1p-udef log1p-expm1 expm1-udef
7×exp-diff difference-cubes expm1-log1p
6×distribute-neg-frac exp-to-pow tan-quot
5×sum-cubes neg-sub0
3×cos-diff diff-cos distribute-frac-neg
2×expm1-def pow3 sin-sum log-rec exp-neg neg-log mul-1-neg
1×sqrt-undiv sqrt-pow2 sin-neg cube-unmult pow-sub remove-double-div sin-diff

regimes46.5s (4.9%)

Accuracy

Total 183.3b remaining (37.7%)

Threshold costs 24.5b (5%)

16.9b18.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.4b-7.5%Linear.Matrix:det44 from linear-1.19.1.3
9.1b4.2%Linear.Matrix:det33 from linear-1.19.1.3
6.6b19.5%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
5.9b12.4%Data.Colour.Matrix:determinant from colour-2.3.3, A

localize9.3s (1.0%)

bsearch5.6s (0.6%)

end4.0ms (0.0%)