Date:Wednesday, March 4th, 2020
Commit:29625745 on findroot
Hostname:warfa with Racket 7.5
Seed:2020064
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.1m (38.0%)

Algorithm
60×intervals
Results
24.8s335958×body80valid
8.8s209211×body80nan
7.2s21533×body1280valid
2.6s10964×body640valid
2.5s5341×body2560valid
847.0ms5144×body320valid
400.0ms16512×pre80true
289.0ms2495×body160valid
65.0ms239×body5120valid

prune40.4s (22.8%)

series37.2s (21.0%)

Calls

339 calls:

641.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
502.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
456.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
452.0ms
(* (* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ 1 (cbrt (- (+ t 1.0) z)))) (- a x))
451.0ms
(* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- a x) (cbrt (- (+ t 1.0) z))))

regimes14.5s (8.2%)

Accuracy

Total 42.7b remaining (27.2%)

Threshold costs 3.7b (2.4%)

12.2b-0%Linear.Matrix:det44 from linear-1.19.1.3
4.5b12%Linear.Matrix:det33 from linear-1.19.1.3
4.2b84.5%The quadratic formula (r1)
3.4b88%NMSE problem 3.2.1
3.3b14.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

simplify7.7s (4.4%)

Algorithm
162×egg-herbie

bsearch4.2s (2.3%)

rewrite3.3s (1.8%)

Algorithm
102×rewrite-expression-head
Calls

339 calls:

79.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
47.0ms
(* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- a x) (cbrt (- (+ t 1.0) z))))
37.0ms
(+ (- (/ 1 (/ (tan B) (* x 1.0)))) (/ 1.0 (sin B)))
36.0ms
(- (/ (+ x 4.0) y) (/ x (/ y z)))
34.0ms
(* (* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ 1 (cbrt (- (+ t 1.0) z)))) (- a x))
Rules
3890×times-frac
3591×*-un-lft-identity
3548×add-sqr-sqrt
2645×add-cube-cbrt
2278×add-exp-log
1218×add-cbrt-cube
1027×prod-exp
909×associate-*r*
796×pow1
558×cbrt-prod
528×add-log-exp
527×div-exp
455×associate-*l*
399×distribute-rgt-neg-in
373×associate-/r*
351×cbrt-unprod
339×distribute-lft-neg-in
319×flip-- flip3--
296×unpow-prod-down distribute-lft-out--
279×associate-/l*
257×difference-of-squares
227×frac-times div-inv
221×cbrt-undiv
206×associate-*r/
204×pow-exp
202×distribute-lft-out
198×pow-prod-down
192×distribute-rgt-in log-prod distribute-lft-in
188×cbrt-div
187×associate-/r/
181×associate-*l/
166×frac-sub
164×sqrt-prod
161×unswap-sqr
158×flip-+ flip3-+
155×pow-to-exp
136×cube-prod
122×sub-neg
116×*-commutative
103×neg-mul-1
90×1-exp rec-exp
81×pow1/3
72×clear-num frac-2neg
69×associate-+l+
62×sqrt-div associate-+r+
57×swap-sqr
56×diff-log
53×log-pow
49×sum-log
47×exp-sum
46×pow-unpow
42×associate-/l/
36×exp-prod
34×sqr-pow sin-mult
31×sqrt-pow1
27×pow1/2
26×+-commutative
25×neg-sub0
24×associate--r+
22×rem-sqrt-square neg-log cos-mult
20×associate-+l-
18×un-div-inv
17×pow-flip
16×tan-quot inv-pow frac-add
14×associate--l-
13×pow-prod-up pow-pow pow-sqr
12×associate--l+ log-div
11×sub-div distribute-neg-frac
9×div-sub
8×cube-div
7×rem-exp-log pow2 pow-plus
6×rem-cube-cbrt unpow3 cube-mult
5×exp-diff
4×distribute-frac-neg distribute-lft-neg-out distribute-rgt-neg-out log-rec
3×rem-cbrt-cube
2×cos-sum associate-+r- distribute-neg-in tan-sum rem-log-exp
1×unpow1/3 sqrt-unprod exp-neg distribute-rgt-out-- cube-neg

localize2.7s (1.5%)

end1.0ms (0.0%)