Details

series10.9m (55.7%)

Calls

326 calls:

2.0m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
4.1s
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
1.3s
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
820.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
773.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))

simplify4.5m (23.1%)

sample2.0m (10.1%)

Algorithm
59×intervals
Results
36.1s263865×body80valid
23.2s206658×body80nan
19.5s21395×body1280valid
7.7s10824×body640valid
4.6s5263×body2560valid
2.8s5276×body320valid
1.2s16512×pre80true
612.0ms2523×body160valid
143.0ms235×body5120valid

prune1.5m (7.5%)

regimes21.5s (1.8%)

Accuracy

Total 30.3b remaining (23.4%)

Threshold costs 3.2b (2.4%)

5.2b9.9%Linear.Matrix:det33 from linear-1.19.1.3
4.7b83.6%The quadratic formula (r1)
4.6b83.6%NMSE problem 3.2.1
4.0b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.5b89.7%jeff quadratic root 2

rewrite12.6s (1.1%)

Algorithm
99×rewrite-expression-head
Calls

327 calls:

1.1s
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log (sqrt t)))) (* (- a 0.5) (log (sqrt t))))
526.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
328.0ms
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
288.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
285.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin z) (sin y)) (* (cos y) (cos z))))) (tan a))
Rules
4220×*-un-lft-identity
4179×times-frac
4104×add-sqr-sqrt
3813×add-exp-log
3308×add-cube-cbrt
2678×prod-exp
1386×prod-diff
1171×add-cbrt-cube
867×pow1
600×pow-exp
599×pow-to-exp
519×sqrt-prod
504×add-log-exp
478×div-exp
423×associate-*r*
422×cbrt-unprod
411×distribute-rgt-neg-in
378×associate-*l*
372×distribute-lft-neg-in
329×associate-/r*
327×expm1-log1p-u log1p-expm1-u
290×cbrt-prod
273×div-inv
259×distribute-lft-out
254×difference-of-squares
242×fma-neg
232×pow-prod-down
226×distribute-lft-out--
225×associate-/l*
172×cbrt-undiv
164×flip3-- flip--
141×associate-/r/
140×associate--r+
126×fma-def
122×neg-mul-1
119×associate-+r+
107×unswap-sqr
100×log-prod unpow-prod-down
94×distribute-rgt-in distribute-lft-in
91×associate-*l/
86×*-commutative
78×flip-+ flip3-+
76×cbrt-div
69×pow1/3
68×sub-neg
67×log-pow
65×associate-*r/
64×sqrt-div
55×frac-2neg clear-num diff-log
50×associate-/l/
44×fma-udef
43×sum-log exp-sum
41×associate-+l+ sqr-pow
35×frac-times sin-mult
33×sqrt-pow1
32×pow1/2
31×exp-prod rem-sqrt-square
30×1-exp rec-exp
28×tan-quot frac-add
27×cos-mult pow-unpow
26×frac-sub
21×unpow-prod-up associate-+l-
20×swap-sqr pow-prod-up pow-sqr
19×+-commutative
16×neg-sub0
13×neg-log rem-exp-log
12×log-div
11×sub-div
10×associate--l+ pow-plus pow-pow div-sub
8×associate--l-
7×pow-flip
6×pow2 inv-pow
5×un-div-inv
4×distribute-rgt-out--
3×exp-diff distribute-rgt-out
2×associate-+r- tan-sum exp-to-pow distribute-neg-frac cos-sum distribute-frac-neg
1×quot-tan distribute-lft-neg-out sqrt-unprod rem-log-exp associate--r- e-exp-1 pow-sub

localize6.8s (0.6%)

bsearch1.3s (0.1%)

end0.0ms (0.0%)