Details

series4.2m (27.1%)

Calls

2297 calls:

5.4s
(/ (* (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.3s
(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)))))

sample4.1m (26.3%)

Algorithm
539×intervals
Results
1.4m2654652×body80valid
20.2s519769×body80nan
17.0s46779×body1280valid
9.4s44015×body640valid
4.1s5744×body2560valid
3.5s25051×body320valid
1.3s13699×body160valid
711.0ms1509×body10240exit
111.0ms45×body5120valid
94.0ms669×body640nan
81.0ms480×body1280nan
41.0ms419×body320nan
16.0ms189×body160nan

prune4.0m (25.8%)

simplify1.2m (7.6%)

Algorithm
1403×egg-herbie

rewrite1.0m (6.6%)

Algorithm
864×rewrite-expression-head
Calls

2297 calls:

2.7s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.1s
(* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))) (cbrt (cbrt 3.0))) y)
993.0ms
(- (+ (/ (* b (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (+ (+ y t) 2.0)) x) (* (- t 1.0) a))
799.0ms
(* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))
628.0ms
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
Rules
49399×times-frac
43969×*-un-lft-identity
43048×add-sqr-sqrt
31507×add-cube-cbrt
9426×add-exp-log
9057×prod-diff
7246×add-cbrt-cube
5773×pow1
5632×cbrt-prod
5422×associate-*r*
4872×sqrt-prod
4011×difference-of-squares
3939×distribute-lft-out--
3773×associate-*l*
3454×associate-/r*
3097×add-log-exp
2759×distribute-rgt-in distribute-lft-in
2712×div-inv
2559×distribute-lft-out
2414×prod-exp
2332×div-exp
2302×expm1-log1p-u
2299×log1p-expm1-u
2178×associate-/l*
2070×unpow-prod-down
1879×cbrt-unprod
1648×associate-/r/
1587×cbrt-undiv
1485×log-prod
1351×pow-prod-down
1332×cbrt-div
1327×flip3-- flip--
1306×unswap-sqr
1125×associate-*r/
952×frac-times
834×pow1/3
815×flip-+ flip3-+
802×associate-*l/
751×swap-sqr
687×cube-prod
604×*-commutative
600×associate-+l+
573×sqrt-pow1
549×log-pow
528×fma-udef
516×associate--l+
515×fma-neg
508×exp-sum
498×fma-def
490×clear-num frac-2neg
471×associate-+r+
438×sub-neg
405×sqr-pow
385×associate-/l/
371×sqrt-div
320×frac-sub
315×1-exp
305×pow1/2
303×pow-prod-up
300×rec-exp
255×sum-log
254×tanh-def
225×pow-sqr
191×diff-log
188×pow-exp
144×+-commutative
133×unpow2
130×distribute-lft-neg-in
129×pow-flip
123×distribute-rgt-out
117×pow-to-exp
116×div-sub
114×pow-unpow
113×distribute-rgt-neg-in
112×pow-plus
110×log-div
108×exp-prod
101×rem-sqrt-square
98×pow2
95×inv-pow
90×unpow3 cube-mult
83×associate--r+
71×rem-log-exp
66×frac-add
61×pow-pow
55×un-div-inv
47×distribute-rgt-neg-out
37×sinh-def
33×neg-mul-1
25×associate-+l- cos-sum
24×sqrt-unprod hypot-def
23×rem-cube-cbrt
19×distribute-lft1-in
18×rem-exp-log unpow-prod-up cosh-def
15×cube-div distribute-rgt1-in unsub-neg rem-cbrt-cube
14×associate-+r- rem-square-sqrt
13×distribute-lft-neg-out
12×hypot-udef
10×count-2 difference-of-sqr-1 associate--r-
9×unpow1/3 associate--l-
8×sub-div distribute-rgt-out-- exp-to-pow
7×exp-diff difference-cubes log1p-udef log1p-expm1
6×expm1-udef tan-quot
5×sum-cubes expm1-log1p neg-sub0
4×distribute-neg-frac
3×cos-diff diff-cos distribute-frac-neg
2×expm1-def pow3 sin-sum log-rec neg-log
1×sqrt-undiv sqrt-pow2 sin-neg cube-unmult pow-sub remove-double-div exp-neg sin-diff mul-1-neg

regimes47.4s (5.1%)

Accuracy

Total 182.0b remaining (37.3%)

Threshold costs 25.7b (5.3%)

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%)

end5.0ms (0.0%)