Details

series14.3m (49.9%)

Calls

2305 calls:

3.6s
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* b (- (* c z) (* i a))) (* b (fma (- a) i (* a i))))))
3.0s
(fma t (- (* (* (* x (* 18.0 y)) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* 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))))

sample5.9m (20.6%)

Algorithm
537×intervals
Results
3.0m2587893×body80valid
46.1s504096×body80nan
24.2s47512×body1280valid
14.0s42587×body640valid
5.7s24551×body320valid
5.7s5596×body2560valid
2.2s13523×body160valid
192.0ms658×body640nan
158.0ms473×body1280nan
153.0ms1552×body80overflowed
121.0ms40×body5120valid
88.0ms421×body320nan
34.0ms238×body160nan

prune5.3m (18.4%)

simplify1.5m (5.1%)

Algorithm
1389×egg-herbie

rewrite43.5s (2.5%)

Algorithm
854×rewrite-expression-head
Calls

2307 calls:

771.0ms
(* (* (* (* (- y x) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0)))) (cbrt (sqrt 6.0))) (sqrt 6.0)) z)
720.0ms
(/ (/ (+ (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0)))) (/ (/ 1 6.0) (/ (- (sqrt x) (sqrt 1.0)) (sqrt (fma (sqrt x) 4.0 (+ x 1.0))))))
635.0ms
(* x (+ (+ (+ (+ y z) z) y) t))
628.0ms
(* (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))) (sqrt (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))))
531.0ms
(* x (+ (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ t (- 1.0 z))) (* (/ 1 (- 1.0 z)) (+ (- t) t))))
Rules
181407×times-frac
122433×*-un-lft-identity
112166×add-sqr-sqrt
76679×add-cube-cbrt
56417×sqrt-prod
16133×difference-of-squares
12853×prod-diff
12188×distribute-lft-out
11180×distribute-lft-out--
8909×add-exp-log
7252×add-cbrt-cube
6712×div-inv
6266×cbrt-prod
5388×pow1
5283×associate-*r*
4094×distribute-rgt-in distribute-lft-in
4061×associate-/r*
3321×associate-*l*
3003×add-log-exp
2944×associate-/l*
2389×associate-/r/
2314×log1p-expm1-u
2310×expm1-log1p-u
2248×unpow-prod-down
2194×prod-exp
2160×div-exp
1866×cbrt-unprod
1760×flip-- flip3--
1650×associate-+l+
1518×cbrt-undiv
1427×cbrt-div
1420×distribute-lft-neg-in distribute-rgt-neg-in
1319×pow-prod-down
1211×unswap-sqr
1094×log-prod
1033×associate-*r/
901×cube-prod
873×swap-sqr
838×pow1/3
804×frac-times
800×flip-+ flip3-+
731×associate-*l/
613×fma-def
594×*-commutative
510×clear-num frac-2neg
456×sqrt-div
451×sub-neg
446×fma-udef
444×exp-sum
430×fma-neg associate--l+
425×neg-mul-1
399×sqr-pow
385×associate-/l/
383×sqrt-pow1
321×associate-+r+
250×pow-prod-up
246×log-pow
241×pow1/2
226×1-exp
217×sum-log
211×rec-exp
187×pow-sqr frac-sub
168×pow-exp diff-log
148×pow-unpow
133×unpow3 cube-mult
132×+-commutative
114×pow-to-exp
106×div-sub
95×rem-sqrt-square
92×unpow-prod-up
87×pow-plus unpow2
84×exp-prod
82×pow2
78×associate--r+
77×pow-pow
74×pow-flip
72×frac-add
61×inv-pow
59×cosh-def
53×log-div
50×tanh-def
42×un-div-inv
32×rem-log-exp
31×distribute-rgt-out--
30×distribute-rgt-out
28×hypot-def associate-+l-
27×distribute-rgt-neg-out
23×cos-sum
22×sinh-def
18×rem-exp-log sqrt-unprod sub-div
15×distribute-lft-neg-out rem-square-sqrt
12×distribute-neg-frac
11×hypot-udef
10×rem-cube-cbrt unpow1/3
9×log1p-udef log1p-expm1 expm1-log1p expm1-udef
8×cube-div sqrt-undiv difference-cubes unsub-neg associate-+r-
7×neg-sub0
6×exp-diff associate--r- rem-cbrt-cube
5×distribute-rgt1-in distribute-lft1-in count-2
4×associate--l- distribute-frac-neg sum-cubes tan-quot
3×sqrt-pow2 sin-neg cos-diff diff-cos exp-to-pow sin-diff
2×pow3 pow-sub
1×exp-neg remove-double-div neg-log mul-1-neg

regimes41.9s (2.4%)

Accuracy

Total 175.1b remaining (37.1%)

Threshold costs 23.6b (5%)

17.5b17.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.4b52%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.0b-11.4%Data.Colour.Matrix:determinant from colour-2.3.3, A
8.7b32%Development.Shake.Progress:decay from shake-0.15.5
7.6b3%Linear.Matrix:det33 from linear-1.19.1.3

localize9.5s (0.6%)

bsearch6.2s (0.4%)

end8.0ms (0.0%)