Date:Monday, March 2nd, 2020
Commit:76ce2b17 on master
Hostname:warfa with Racket 7.5
Seed:2020062
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series10.8m (85.5%)

Calls

330 calls:

3.2s
(fma (/ (+ (tan y) (tan z)) (- 1 (pow (* (tan y) (tan z)) 3))) (fma (fma (tan y) (tan z) 1) (* (tan y) (tan z)) 1) (+ (- (tan a)) x))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
866.0ms
(fma (/ (+ (tan y) (tan z)) (- (* 1 1) (* (* (tan y) (tan z)) (* (tan y) (tan z))))) (+ 1 (* (tan y) (tan z))) (- (tan a)))
854.0ms
(* (sqrt (+ (sqrt x) (sqrt 1.0))) (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x)))

sample49.8s (6.6%)

Algorithm
59×intervals
Results
12.3s262567×body80valid
8.9s208566×body80nan
7.2s21199×body1280valid
2.7s5409×body2560valid
2.6s11049×body640valid
842.0ms5064×body320valid
408.0ms16512×pre80true
315.0ms2627×body160valid
65.0ms237×body5120valid

prune37.5s (5.0%)

simplify8.4s (1.1%)

Algorithm
159×egg-herbie

regimes7.0s (0.9%)

Accuracy

Total 26.6b remaining (21%)

Threshold costs 5.5b (4.4%)

4.6b84.1%NMSE problem 3.2.1
4.6b-10.4%Linear.Matrix:det33 from linear-1.19.1.3
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.1b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.0b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

rewrite3.1s (0.4%)

Algorithm
101×rewrite-expression-head
Calls

332 calls:

53.0ms
(- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))
49.0ms
(/ (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (* (sqrt (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) (sqrt (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))))) (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) y)
45.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
41.0ms
(* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))
39.0ms
(* (sqrt (+ f n)) (/ (- (sqrt (+ f n))) (- f n)))
Rules
6478×times-frac
6240×*-un-lft-identity
5628×add-sqr-sqrt
4574×add-cube-cbrt
3650×add-exp-log
2220×prod-exp
1784×prod-diff
1298×cbrt-prod
1117×add-cbrt-cube
952×distribute-rgt-neg-in
925×distribute-lft-neg-in
856×sqrt-prod
839×pow1
826×unpow-prod-down
775×div-exp
713×associate-*r*
584×pow-exp
576×distribute-lft-out--
545×cube-prod
489×pow-to-exp
462×add-log-exp
414×associate-*l*
379×distribute-lft-out
372×cbrt-unprod
363×difference-of-squares
333×expm1-log1p-u
332×log1p-expm1-u
324×div-inv
321×associate-/l*
284×neg-mul-1
239×associate-/r*
227×flip3-- flip--
210×distribute-rgt-in distribute-lft-in
209×fma-neg
177×pow-prod-down cbrt-undiv
166×associate-/r/
136×unswap-sqr
126×sqrt-div
118×exp-prod
114×log-pow
105×log-prod
101×sqr-pow
100×unpow-prod-up
96×associate-*r/
93×*-commutative frac-times
83×cbrt-div
81×sqrt-pow1
80×associate-*l/
79×associate-+r+
75×associate--r+
72×sub-neg
68×fma-udef
66×tan-quot
65×fma-def
64×exp-sum
62×pow-pow
54×pow1/3
53×frac-2neg clear-num
51×1-exp
50×flip-+ flip3-+
49×diff-log
47×pow1/2
46×associate--l+
38×rem-sqrt-square
37×frac-sub
34×pow-unpow
33×associate-/l/
28×distribute-neg-in
25×unpow2
22×sum-log
21×neg-log neg-sub0
18×rec-exp
17×unpow3 pow-prod-up cube-mult
16×associate-+l+ swap-sqr sin-mult associate--l- log-div
15×rem-exp-log associate-+l-
14×distribute-neg-frac
12×pow-plus
11×pow-sqr +-commutative
10×cos-mult
8×sub-div
7×pow2 pow-sub div-sub
6×cube-div exp-diff
5×inv-pow pow-flip
4×rem-cube-cbrt exp-neg distribute-frac-neg hypot-def sqrt-unprod
3×distribute-rgt-out--
2×associate-+r- cos-sum tan-sum
1×pow-div log1p-udef pow3 log1p-expm1 frac-add rem-cbrt-cube distribute-rgt-neg-out rem-log-exp

localize2.5s (0.3%)

bsearch1.1s (0.1%)

end1.0ms (0.0%)