Date:Monday, June 29th, 2020
Commit:8ccfdff1 on old-regraph
Hostname:debbie with Racket 7.7
Seed:2020181
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

simplify4.7hr (99.3%)

sample1.3min (0.5%)

Algorithm
56×intervals
Results
26.3s70783×body1280valid
19.1s17371×body2560valid
9.9s43958×body640valid
3.8s87353×body80valid
3.1s21267×body320valid
2.1s51670×body80nan
1.2s1137×body1280nan
968.0ms9983×body160valid
871.0ms9919×body80overflowed
764.0ms47512×pre80true
622.0ms919×body640nan
314.0ms739×body1280overflowed
202.0ms461×body320nan
173.0ms421×body5120valid
118.0ms378×body640overflowed
113.0ms176×body2560overflowed
55.0ms221×body160nan
40.0ms186×body320overflowed
24.0ms122×body160overflowed

prune22.6s (0.1%)

Filtered
10199 candidates to 7527 candidates (26.2%)

series7.0s (0.0%)

Calls

357 calls:

739.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (* b (+ (* (* b (pow eps 2)) (+ 1/2 (* (* 1/6 b) eps))) eps))))
126.0ms
(- (* (+ (tan x) (tan eps)) (/ 1 (- 1 (* (tan x) (tan eps))))) (tan x))
125.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
125.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))
108.0ms
(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

regimes4.3s (0.0%)

Accuracy

Total 14.0b remaining (23.2%)

Threshold costs 9.1b (15.2%)

3.3b0%expq3 (problem 3.4.2)
1.5b86.6%2nthrt (problem 3.4.6)
1.0b96%quadm (p42, negative)
0.9b96.2%quad2p (problem 3.2.1, positive)
0.9b96.2%quadp (p42, positive)

rewrite3.6s (0.0%)

Algorithm
110×rewrite-expression-head
Calls

357 calls:

62.0ms
(/ (* (- (/ 1.0 x) (/ 1.0 (+ x 1.0))) 1.0) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
52.0ms
(sqrt (/ (/ (* 1.0 1.0) (+ x 1.0)) (+ (/ x (sqrt (+ x 1.0))) (/ x (sqrt x)))))
48.0ms
(sqrt (/ (/ (* 1.0 1.0) (+ x 1.0)) (+ (/ x (sqrt (+ x 1.0))) (/ x (sqrt x)))))
45.0ms
(/ (* (/ (* 1.0 1.0) (* x (+ x 1.0))) 1.0) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
39.0ms
(- (/ (neg b_2) a) (/ (sqrt (- (* b_2 b_2) (* a c))) a))
Rules
4027×*-un-lft-identity
3303×add-sqr-sqrt
3263×times-frac
2076×add-cube-cbrt
1320×sqrt-prod
1056×add-exp-log
892×add-cbrt-cube
764×distribute-lft-out
685×pow1
612×add-log-exp
474×difference-of-squares
431×associate-*r*
425×associate-*l*
314×associate-/r*
309×associate-/l*
298×distribute-lft-out--
297×cbrt-prod
253×log-prod
246×prod-exp
236×associate-/r/
232×unpow-prod-down
229×div-inv
206×flip-- flip3--
198×flip-+ flip3-+
183×div-exp
175×cbrt-unprod
162×unswap-sqr
149×cbrt-undiv
116×associate-*l/
111×sqr-pow
108×associate-*r/
107×sub-neg
104×sqrt-pow1
96×diff-log
92×pow-prod-down
84×swap-sqr
80×pow1/2
74×frac-times *-commutative
72×log-pow
68×cbrt-div
66×clear-num sqrt-div frac-2neg
64×pow-unpow
63×pow1/3
61×distribute-rgt-neg-in
55×exp-sum associate-/l/
54×distribute-rgt-in distribute-lft-in
50×distribute-lft-neg-in
49×associate-+r+
48×cube-prod pow-prod-up
41×rem-sqrt-square
40×neg-mul-1 tan-quot
39×sum-log
36×frac-add pow-exp
34×log-div
33×pow-to-exp
28×div-sub
25×+-commutative frac-sub
21×associate--l+
20×pow-sqr
19×associate-+l+
18×rem-log-exp
16×exp-prod
14×associate--r+ unpow2
13×sin-mult
11×1-exp rec-exp
10×neg-sub0 pow-pow
9×sin-sum cube-mult unpow3
8×associate--l- exp-diff
6×pow2 pow-plus distribute-frac-neg cos-mult rem-cube-cbrt
5×cube-div
4×sqrt-unprod sub-div un-div-inv distribute-rgt-out-- pow-div
3×cos-sum sin-cos-mult associate-+l-
2×exp-neg tan-sum rem-square-sqrt inv-pow associate--r- neg-log rem-cbrt-cube pow-flip
1×difference-cubes associate-+r- diff-cos exp-to-pow diff-sin diff-atan rem-exp-log

localize1.3s (0.0%)

bsearch552.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...