Details

series10.9m (57.8%)

Calls

321 calls:

4.4s
(exp (+ x (/ (- (* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (* (tan a) (tan a))) (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))))
1.9s
(/ (- (* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (* (tan a) (tan a))) (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
847.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
768.0ms
(fma (- (* t c) (* i y)) j (fma b (- (* a i) (* z c)) (* (- (* z y) (* t a)) x)))
748.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))

simplify3.8m (19.9%)

sample2.0m (10.8%)

Algorithm
59×intervals
Results
31.5s263323×body80valid
23.4s207865×body80nan
18.9s21181×body1280valid
8.1s11103×body640valid
4.1s5311×body2560valid
2.2s5177×body320valid
758.0ms2488×body160valid
736.0ms16512×pre80true
131.0ms225×body5120valid

prune1.4m (7.5%)

regimes20.2s (1.8%)

Accuracy

Total 28.8b remaining (23%)

Threshold costs 3.4b (2.7%)

5.7b26.3%Linear.Matrix:det33 from linear-1.19.1.3
4.8b82.9%The quadratic formula (r1)
3.7b87%NMSE problem 3.2.1
2.2b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.1b86.8%jeff quadratic root 2

rewrite16.5s (1.5%)

Algorithm
99×rewrite-expression-head
Calls

323 calls:

709.0ms
(exp (+ x (/ (- (* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (* (tan a) (tan a))) (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))))
658.0ms
(* (pow cos (/ 2.0 2)) (* (pow (* (cbrt cos) (cbrt cos)) (/ 2.0 2)) (* (* x (pow sin (/ 2.0 2))) (* (* x (pow sin (/ 2.0 2))) (pow (cbrt cos) (/ 2.0 2))))))
654.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
578.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))))
430.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
Rules
7405×add-exp-log
6481×prod-exp
5459×times-frac
5075×*-un-lft-identity
4665×add-sqr-sqrt
3915×add-cube-cbrt
1714×pow-exp
1502×pow-to-exp
1232×prod-diff
1169×add-cbrt-cube
725×pow1
587×sqrt-prod
529×div-exp
518×distribute-rgt-neg-in
506×add-log-exp
498×distribute-lft-neg-in
464×associate-*r*
420×associate-/r*
382×associate-*l*
364×cbrt-unprod
330×associate-+r+
324×log1p-expm1-u
323×expm1-log1p-u
318×distribute-lft-out div-inv
296×associate-/l*
272×distribute-lft-out--
258×difference-of-squares
236×fma-neg
220×associate-/r/
187×cbrt-undiv
171×pow-prod-down
170×flip3-- flip--
162×neg-mul-1
108×fma-def
105×cbrt-prod
100×1-exp rec-exp
95×distribute-rgt-in distribute-lft-in
94×unswap-sqr
89×unpow-prod-down
88×associate-*l/
85×*-commutative
82×flip-+ flip3-+
74×sqrt-div
71×associate-*r/
69×swap-sqr
68×frac-2neg clear-num
67×sub-neg
62×associate-/l/
58×diff-log
56×frac-times
47×tan-quot
46×rem-sqrt-square
40×sqrt-pow1
39×pow1/2
38×cbrt-div
37×pow-flip
36×sum-log inv-pow
34×pow1/3 sqr-pow
33×exp-sum pow-prod-up
29×fma-udef exp-prod
28×log-prod
27×associate-+l+ frac-sub pow-unpow
24×log-pow
23×sin-mult
19×+-commutative
17×exp-diff
16×associate--l+ rem-exp-log
14×neg-sub0 cos-mult
12×un-div-inv
11×neg-log div-sub pow-sqr
10×pow-pow frac-add
9×associate-+r- pow-plus sub-div
7×associate--l-
6×associate-+l-
5×pow2
4×distribute-neg-frac
3×exp-to-pow distribute-frac-neg distribute-rgt-out
2×pow3 tan-sum cos-sum log-div
1×expm1-log1p expm1-udef log1p-expm1 log1p-udef sqrt-unprod rem-cbrt-cube

localize6.0s (0.5%)

bsearch2.6s (0.2%)

end1.0ms (0.0%)