Details

series10.9m (47.7%)

Calls

348 calls:

3.2s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
3.2s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.8s
(/ (- (* (* (- (* (tan y) (tan y)) (* (tan z) (tan z))) (cos a)) (+ 1 (* (tan y) (tan z)))) (* (- (tan y) (tan z)) (* (- (* 1 1) (* (* (tan y) (tan z)) (* (tan y) (tan z)))) (sin a)))) (* (- (tan y) (tan z)) (+ 1 (* (tan y) (tan z)))))
1.6s
(/ (- (* (- (* (tan y) (tan y)) (* (tan z) (tan z))) (* (cos a) (+ (* (tan y) (tan z)) 1))) (* (- (tan y) (tan z)) (* (sin a) (- 1 (* (* (tan y) (tan z)) (* (tan y) (tan z))))))) (* (- (tan y) (tan z)) (- 1 (* (* (tan y) (tan z)) (* (tan y) (tan z))))))
912.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))

simplify4.7m (20.5%)

prune3.7m (16.2%)

sample2.5m (11.1%)

Algorithm
59×intervals
Results
46.7s263619×body80valid
33.1s210314×body80nan
26.8s21683×body1280valid
12.2s11041×body640valid
6.6s5253×body2560valid
3.5s5155×body320valid
1.1s2478×body160valid
1.1s16512×pre80true
191.0ms243×body5120valid

rewrite35.5s (2.6%)

Algorithm
104×rewrite-expression-head
Calls

350 calls:

9.2s
(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
6.4s
(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
1.4s
(/ (* x (exp (- (+ (+ (* (log (cbrt z)) (+ y y)) (* y (log (cbrt z)))) (* (- t 1.0) (log a))) b))) y)
1.3s
(/ (* x (exp (- (+ (+ (* (log (cbrt z)) (+ y y)) (* y (log (cbrt z)))) (* (- t 1.0) (log a))) b))) y)
1.3s
(/ (* x (exp (- (+ (+ (* (log (cbrt z)) (+ y y)) (* y (log (cbrt z)))) (* (- t 1.0) (log a))) b))) y)
Rules
5220×times-frac
4973×*-un-lft-identity
4848×add-sqr-sqrt
3882×add-cube-cbrt
2112×tan-quot
1689×add-exp-log
1665×associate-*l/
1645×frac-sub
1489×prod-diff
1389×frac-times
1337×add-cbrt-cube
1243×associate-*r/
1114×pow1
834×associate-/l/
737×sqrt-prod
708×flip3-- flip--
655×associate-*r*
571×prod-exp
552×distribute-rgt-neg-in
543×distribute-lft-neg-in
510×add-log-exp
502×associate-*l*
495×cbrt-unprod
463×cbrt-prod
365×pow-prod-down
359×div-exp
350×expm1-log1p-u log1p-expm1-u insert-posit16
301×div-inv
298×flip-+ flip3-+
296×distribute-lft-out--
289×associate-/r*
282×difference-of-squares
257×associate-/l*
256×fma-neg
233×distribute-lft-out
227×cbrt-undiv
175×neg-mul-1
155×swap-sqr
144×unswap-sqr
128×associate-/r/
107×*-commutative
98×distribute-rgt-in distribute-lft-in
86×cbrt-div
71×sub-neg
70×associate-+r+
67×diff-log
66×pow1/3
65×exp-sum
61×frac-2neg clear-num
59×log-prod
58×1-exp
56×rec-exp
54×log-pow
47×fma-udef
46×sqrt-div
41×sqrt-pow1
40×pow1/2
39×exp-prod
34×difference-of-sqr-1
33×fma-def
31×sum-log associate--l+ pow-prod-up sin-mult
27×rem-sqrt-square
26×sub-div
25×pow-sqr
24×cos-mult
23×rem-exp-log
22×unpow-prod-down
21×pow-unpow
20×div-sub
19×pow-plus
18×associate-+l+
15×pow-flip
13×pow2 inv-pow
12×exp-diff
10×un-div-inv log-div
9×neg-sub0 associate--l-
8×sqr-pow pow-pow associate-+l-
7×associate-+r- +-commutative distribute-neg-frac
6×pow-exp pow-to-exp
4×pow3 neg-log frac-add expm1-def cos-2
3×distribute-frac-neg rem-cbrt-cube
2×distribute-lft-neg-out distribute-rgt-neg-out sqrt-unprod associate--r+ tan-sum unpow2 distribute-rgt-out-- remove-posit16 cos-sum
1×difference-of-sqr--1 sqr-sin exp-to-pow rem-square-sqrt rem-log-exp

regimes17.1s (1.2%)

Accuracy

Total 28.1b remaining (20.8%)

Threshold costs 5.2b (3.9%)

4.6b84%NMSE problem 3.2.1
4.5b83.9%The quadratic formula (r1)
3.1b50.1%Linear.Matrix:det33 from linear-1.19.1.3
3.0b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.8b66.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

localize6.2s (0.5%)

bsearch1.2s (0.1%)

end1.0ms (0.0%)