Details

series11.0m (43.2%)

Calls

320 calls:

2.0m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
3.7s
(* (/ 1 (fma (fma (fma (+ a y) y b) y c) y i)) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
1.4s
(/ (- (* (* (+ (tan z) (tan y)) (cos a)) (* (+ (tan z) (tan y)) (cos a))) (* (* (- 1 (* (tan z) (tan y))) (sin a)) (* (- 1 (* (tan z) (tan y))) (sin a)))) (* (* (- 1 (cbrt (* (* (* (tan z) (tan y)) (* (tan z) (tan y))) (* (tan z) (tan y))))) (cos a)) (+ (* (+ (tan z) (tan y)) (cos a)) (* (- 1 (* (tan z) (tan y))) (sin a)))))
1.1s
(fma (- (* t c) (* i y)) j (fma (fma (* (cbrt i) (cbrt i)) (* (cbrt i) a) (- (* z c))) b (* (fma y z (- (* t a))) x)))
989.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x))))

simplify5.3m (21.0%)

prune3.8m (15.1%)

sample2.6m (10.4%)

Algorithm
59×intervals
Results
48.2s262422×body80valid
35.8s206340×body80nan
26.4s21134×body1280valid
11.6s10865×body640valid
7.4s5351×body2560valid
3.6s5159×body320valid
1.3s16512×pre80true
1.0s2555×body160valid
164.0ms205×body5120valid

rewrite2.1m (8.4%)

Algorithm
98×rewrite-expression-head
Calls

321 calls:

28.2s
(/ (* x (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* (cbrt y) (cbrt y)))
23.1s
(/ (- (* (* (+ (tan z) (tan y)) (cos a)) (* (+ (tan z) (tan y)) (cos a))) (* (* (- 1 (* (tan z) (tan y))) (sin a)) (* (- 1 (* (tan z) (tan y))) (sin a)))) (* (* (- 1 (cbrt (* (* (* (tan z) (tan y)) (* (tan z) (tan y))) (* (tan z) (tan y))))) (cos a)) (+ (* (+ (tan z) (tan y)) (cos a)) (* (- 1 (* (tan z) (tan y))) (sin a)))))
7.8s
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
5.7s
(/ (- (* (+ (tan z) (tan y)) (cos a)) (* (- 1 (* (tan z) (tan y))) (sin a))) (* (- 1 (cbrt (* (* (* (tan z) (tan y)) (* (tan z) (tan y))) (* (tan z) (tan y))))) (cos a)))
2.3s
(- (+ (log (sqrt z)) (- (log (sqrt z)) (* (- 0.5 a) (log t)))) (- t (log (+ y x))))
Rules
134110×*-un-lft-identity
107740×add-sqr-sqrt
92586×associate-*l*
46633×unswap-sqr
38673×times-frac
35876×swap-sqr
33336×distribute-lft-out--
28653×cbrt-prod
21887×distribute-lft-out
21222×associate-*r*
20925×difference-of-squares
20869×add-cube-cbrt
19301×prod-diff
12631×exp-sum
6764×sqrt-prod
6634×frac-times
5839×associate-/r*
5144×associate-/l*
4694×*-commutative
3604×cbrt-div
3162×distribute-neg-frac
1976×associate-*l/
1942×associate--l+
1652×log-prod
1639×associate-/l/
1407×frac-sub
1387×distribute-rgt-neg-in
1364×pow1 add-exp-log
1313×distribute-lft-neg-in
1305×distribute-rgt-in distribute-lft-in
1190×clear-num
1167×add-cbrt-cube
1160×frac-2neg
1041×associate-+r+
929×frac-add
857×associate-+l+
844×flip-+ flip3-+
809×associate-*r/
654×add-log-exp
613×tan-quot
549×div-inv
536×associate-/r/
491×fma-neg
452×prod-exp
418×neg-mul-1 log-pow
412×cbrt-unprod
342×pow-prod-down
322×expm1-log1p-u log1p-expm1-u
321×insert-posit16
312×flip3-- flip--
288×div-exp
242×sub-neg
189×cbrt-undiv
176×associate--r+
150×+-commutative
146×diff-log
142×exp-prod
89×sum-log
86×sqrt-pow1
85×pow1/2
81×un-div-inv
79×fma-def
70×pow1/3
61×1-exp rec-exp
52×fma-udef
49×pow-prod-up
43×unpow-prod-up
41×pow-sqr
38×sqrt-div
35×rem-exp-log
26×associate-+r- pow-unpow rem-sqrt-square e-exp-1
25×distribute-rgt-out
23×pow-plus
20×div-sub
19×sub-div
18×sin-mult
17×neg-sub0 pow-exp
16×exp-diff associate--l-
14×pow-flip
13×inv-pow remove-double-div
12×pow2 unpow-prod-down
10×cos-mult neg-log
9×pow-to-exp
8×pow3 associate-+l- associate--r- log-div
6×sqr-pow distribute-frac-neg rem-cbrt-cube
5×difference-of-sqr-1
4×log1p-udef cos-sum pow-pow tan-sum expm1-def
2×log1p-expm1 rem-log-exp
1×expm1-log1p expm1-udef distribute-lft-neg-out distribute-rgt-neg-out sqrt-unprod exp-to-pow remove-posit16 pow-sub cos-2

regimes20.3s (1.3%)

Accuracy

Total 34.9b remaining (26.4%)

Threshold costs 5.4b (4.1%)

6.9b4.6%Linear.Matrix:det33 from linear-1.19.1.3
5.2b80.9%The quadratic formula (r1)
4.8b82.6%NMSE problem 3.2.1
4.3b-38.6%cos(2*x)/(cos^2(x)*sin^2(x))
2.3b-14.2%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

localize5.6s (0.4%)

bsearch3.1s (0.2%)

end1.0ms (0.0%)