Details

simplify11.2m (42.9%)

series10.9m (41.8%)

Calls

333 calls:

947.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
937.0ms
(fma j (- (* c t) (* i y)) (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
890.0ms
(fma j (- (* c t) (* i y)) (- (* x (- (* y z) (* t a))) (+ (* z (* b c)) (* (- (* i a)) b))))
857.0ms
(cbrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
792.0ms
(/ (fma (fma (fma (+ y a) y b) y c) y i) (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t))

sample2.2m (8.3%)

Algorithm
59×intervals
Results
35.2s263199×body80valid
22.9s208047×body80nan
21.7s21317×body1280valid
7.9s11002×body640valid
6.8s5286×body2560valid
2.2s5229×body320valid
1.3s16512×pre80true
1.0s2463×body160valid
237.0ms251×body5120valid

prune1.2m (4.7%)

rewrite19.9s (1.3%)

Algorithm
102×rewrite-expression-head
Calls

334 calls:

1.3s
(* (* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ 1 (cbrt (- (+ t 1.0) z)))) (- a x))
844.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
759.0ms
(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))))
556.0ms
(/ (* 2.0 c) (- (* 2.0 (* (/ (* (cbrt a) (cbrt a)) (cbrt b)) (* (/ (cbrt a) (cbrt b)) (/ c (cbrt b))))) (* 2 b)))
530.0ms
(- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t)
Rules
8463×times-frac
7854×*-un-lft-identity
6486×add-sqr-sqrt
5711×add-cube-cbrt
4721×add-exp-log
3487×prod-exp
2968×prod-diff
1627×distribute-rgt-neg-in
1588×distribute-lft-neg-in
1263×add-cbrt-cube
897×distribute-lft-out
880×pow1
827×pow-exp
825×pow-to-exp
617×sqrt-prod
587×div-exp
576×associate-/r*
538×associate-*r*
508×add-log-exp
432×cbrt-unprod
430×neg-mul-1
374×associate-*l*
355×unpow-prod-down
336×log1p-expm1-u
335×expm1-log1p-u
329×div-inv
281×cbrt-prod
279×distribute-lft-out-- associate-/r/
270×fma-neg
258×difference-of-squares
253×associate-/l*
250×distribute-rgt-in distribute-lft-in
207×pow-prod-down
198×cbrt-undiv exp-sum
194×distribute-neg-frac
183×associate-+r+
181×fma-udef
175×flip3-- flip--
148×associate-*r/
143×fma-def log-pow
140×flip-+ flip3-+
134×frac-times
123×sqr-pow
100×unswap-sqr
99×log-prod
98×sub-neg
97×cbrt-div
93×*-commutative
88×associate-*l/
76×tan-quot
70×clear-num frac-2neg
68×associate--r+
60×diff-log
58×sqrt-pow1
50×sqrt-div
47×neg-sub0
46×pow-unpow
45×associate-+l+
44×exp-prod
43×frac-sub
41×sum-log
40×exp-diff
37×1-exp rec-exp
34×pow1/2
33×associate-/l/
32×exp-neg
26×associate-+l-
25×rem-sqrt-square pow1/3 sin-mult
24×log-div
22×+-commutative
20×cos-mult
16×swap-sqr associate--l+
15×pow-pow
14×neg-log
13×pow-prod-up
12×un-div-inv
11×inv-pow sub-div pow-sqr pow-flip
10×frac-add
9×rem-exp-log div-sub associate--l-
8×associate-+r-
3×cube-div pow-plus distribute-lft-neg-out distribute-rgt-out-- expm1-log1p expm1-udef rem-log-exp
2×rem-cube-cbrt sqrt-undiv unpow3 log1p-udef sqrt-unprod pow2 log1p-expm1 unpow2 cube-mult distribute-frac-neg cube-prod tan-sum cos-sum
1×associate--r- unsub-neg rem-square-sqrt rem-cbrt-cube

regimes10.3s (0.7%)

Accuracy

Total 36.9b remaining (27.6%)

Threshold costs 4.7b (3.5%)

8.7b18.4%Linear.Matrix:det33 from linear-1.19.1.3
7.6b78%NMSE problem 3.2.1
5.6b83.4%The quadratic formula (r1)
1.8b87.9%jeff quadratic root 1
1.8b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

localize3.9s (0.2%)

bsearch1.7s (0.1%)

end1.0ms (0.0%)