Details

series21.1m (67.4%)

Calls

314 calls:

Slowest
4.6s
(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x i) 4.0))))
4.3s
(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma (* k 27.0) j (* i (* x 4.0)))))
4.2s
(fma (- (* (* (* x 18.0) y) z) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
4.0s
(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
1.7s
(* (cbrt (log (+ y x))) (cbrt (log (+ y x))))

prune3.9m (12.4%)

simplify3.0m (9.5%)

sample2.5m (7.9%)

Algorithm
57×intervals
Results
49.4s241489×body80valid
30.5s21479×body1280valid
22.5s151802×body80nan
12.7s10805×body640valid
7.7s5417×body2560valid
3.3s5108×body320valid
2.0s16512×pre80true
1.6s2588×body160valid
265.0ms220×body5120valid

regimes20.8s (1.1%)

Accuracy

Total 30.9b remaining (24.4%)

Threshold costs 4.3b (3.4%)

5.0b82.4%NMSE problem 3.2.1
4.5b83.3%The quadratic formula (r1)
4.1b19.2%Linear.Matrix:det33 from linear-1.19.1.3
3.6b0%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.9b0%cos(2*x)/(cos^2(x)*sin^2(x))

bsearch11.9s (0.6%)

rewrite10.7s (0.6%)

Algorithm
97×rewrite-expression-head
Calls

322 calls:

Slowest
691.0ms
(exp (- (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x) (tan a)))
492.0ms
(/ (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
410.0ms
(- (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) x) (tan a))
383.0ms
(* (- (/ (+ n f) (- (* f (* f f)) (* (* n n) n)))) (+ (* f f) (+ (* n n) (* f n))))
249.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a)))
Rules
5459×add-sqr-sqrt
5409×times-frac
5305×*-un-lft-identity
4239×add-cube-cbrt
1986×prod-diff
1241×add-exp-log
1071×pow1
1069×add-cbrt-cube
698×sqrt-prod
569×distribute-rgt-neg-in
556×add-log-exp
541×distribute-lft-neg-in
448×associate-/r*
434×difference-of-squares
399×distribute-lft-out--
387×associate-*l*
374×associate-/l*
369×associate-*r* prod-exp
322×expm1-log1p-u log1p-expm1-u insert-posit16
321×cbrt-unprod
317×div-inv
287×associate-+r+
285×pow-prod-down
268×fma-neg
260×exp-sum
248×div-exp distribute-rgt-in distribute-lft-in
202×cbrt-prod
183×cbrt-undiv
179×flip-- flip3--
178×distribute-lft-out
163×log-pow
124×associate-/r/
118×fma-def
112×neg-mul-1
107×unswap-sqr
105×sub-neg
94×diff-log
83×unpow-prod-down fma-udef
74×*-commutative
64×sqrt-div exp-prod
63×frac-2neg clear-num
60×sqrt-pow1 pow1/2
55×associate-*r/
54×log-prod associate-*l/
52×pow-prod-up
51×associate-+l+ associate--r+
50×associate--l+
48×swap-sqr
46×associate-/l/
45×flip-+ flip3-+
41×sum-log frac-times
35×tan-quot sqr-pow
34×sin-mult
33×1-exp rec-exp
31×frac-sub cbrt-div pow-sqr
29×pow1/3
28×cos-mult
26×rem-sqrt-square
24×pow-plus rem-exp-log
23×pow-unpow
20×div-sub
19×sub-div frac-add
16×cube-unmult pow3 +-commutative
15×exp-diff pow-pow
14×pow-flip neg-sub0 associate--l- difference-cubes
13×distribute-neg-frac
12×neg-log inv-pow
11×associate-+r-
10×pow-exp distribute-rgt-out-- log-div
9×pow2 pow-to-exp
8×associate-+l-
7×associate--r- e-exp-1
6×difference-of-sqr-1 expm1-def
5×cos-2
3×remove-posit16 exp-to-pow
2×distribute-frac-neg sqrt-unprod hypot-def cos-sum tan-sum
1×distribute-lft-neg-out rem-log-exp rem-square-sqrt acos-asin rem-cbrt-cube un-div-inv distribute-rgt-out

localize6.9s (0.4%)

end1.0ms (0.0%)