Details

simplify5.8m (45.1%)

sample3.0m (23.2%)

Algorithm
60×intervals
Results
1.2m337077×body80valid
22.9s208047×body80nan
21.9s21317×body1280valid
7.5s11002×body640valid
4.1s5286×body2560valid
2.6s5229×body320valid
1.2s2463×body160valid
811.0ms16512×pre80true
127.0ms251×body5120valid

prune2.3m (17.5%)

series1.0m (7.9%)

Calls

338 calls:

913.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
885.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
860.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
785.0ms
(/ (* 2.0 c) (- (- b) (- b (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))))))
778.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))

rewrite21.2s (2.7%)

Algorithm
105×rewrite-expression-head
Calls

338 calls:

853.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
773.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))))
749.0ms
(* x (/ (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))) y))
583.0ms
(- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t)
472.0ms
(/ x (/ y (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))
Rules
32221×times-frac
19087×*-un-lft-identity
17935×add-sqr-sqrt
16979×add-cube-cbrt
7496×prod-diff
4651×add-exp-log
4453×unpow-prod-up
4203×unpow-prod-down
3428×prod-exp
1824×associate-/r*
1739×associate-*r*
1549×distribute-rgt-neg-in
1524×distribute-lft-neg-in
1407×sqr-pow
1224×add-cbrt-cube
852×distribute-lft-out
847×pow-to-exp pow-exp
805×pow1
688×associate--l+
686×div-inv
678×distribute-rgt-in distribute-lft-in
619×div-exp
500×sub-neg
494×add-log-exp
479×sqrt-prod
432×associate-/r/
422×associate-*l*
416×cbrt-unprod
350×neg-mul-1
340×log1p-expm1-u
338×expm1-log1p-u
318×fma-neg
301×difference-of-squares
293×distribute-lft-out--
271×associate-/l*
218×flip3-- flip--
203×cbrt-undiv
188×distribute-neg-frac
176×pow-prod-down
146×cbrt-prod associate-+r+
127×pow-sub
125×log-pow unswap-sqr
122×flip-+ flip3-+
96×*-commutative
93×associate-*r/
88×fma-def
83×frac-times
82×log-prod
73×frac-2neg clear-num
69×associate-*l/
66×exp-sum
60×diff-log
47×pow-unpow
38×tan-quot
36×associate-+l+ sqrt-div
34×exp-prod
33×associate-/l/
32×fma-udef
29×pow1/3 sum-log
25×sqrt-pow1
24×pow1/2
23×rem-sqrt-square
22×frac-sub
20×associate-+l-
18×sin-mult cos-mult pow-pow log-div
16×1-exp rec-exp
15×+-commutative
13×pow-flip
12×sub-div
11×rem-exp-log
9×cbrt-div inv-pow neg-sub0 neg-log div-sub
7×associate--l-
6×exp-diff
5×un-div-inv distribute-neg-in
4×associate-+r- associate--r-
3×frac-add distribute-rgt-out rem-log-exp
2×sqrt-undiv distribute-rgt-out-- expm1-log1p tan-sum cos-sum distribute-rgt-neg-out expm1-udef
1×distribute-lft-neg-out log1p-udef sqrt-unprod exp-neg log1p-expm1 distribute-frac-neg acos-asin

regimes19.2s (2.5%)

Accuracy

Total 47.8b remaining (29.5%)

Threshold costs 3.0b (1.8%)

10.1b-5.1%Linear.Matrix:det44 from linear-1.19.1.3
6.7b29.2%Linear.Matrix:det33 from linear-1.19.1.3
6.0b82.2%The quadratic formula (r1)
5.5b77.2%NMSE problem 3.2.1
4.3b32.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

bsearch4.7s (0.6%)

localize3.9s (0.5%)

end0.0ms (0.0%)