Date:Tuesday, June 9th, 2020
Commit:8ccfdff1 on master
Hostname:warfa with Racket 7.5
Seed:2020161
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

sample1.3min (62.9%)

Algorithm
56×intervals
Results
26.4s69895×body1280valid
19.0s17835×body2560valid
9.4s43226×body640valid
3.6s87914×body80valid
3.0s21385×body320valid
1.8s50683×body80nan
1.3s1125×body1280nan
969.0ms10455×body160valid
842.0ms9880×body80overflowed
692.0ms974×body640nan
687.0ms47540×pre80true
276.0ms683×body1280overflowed
202.0ms474×body320nan
164.0ms420×body5120valid
118.0ms177×body2560overflowed
100.0ms364×body640overflowed
50.0ms222×body160nan
40.0ms202×body320overflowed
9.0ms69×body160overflowed

prune19.7s (16.1%)

Filtered
11430 candidates to 7357 candidates (35.6%)

simplify10.2s (8.4%)

Algorithm
166×egg-herbie

series6.1s (5.0%)

Calls

357 calls:

632.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))
318.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan x) (tan eps)) 2))) (+ 1 (* (tan x) (tan eps)))) (tan x))
317.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
139.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (* (pow (sqrt (pow (sqrt x) (/ 1.0 n))) 3) (sqrt (exp (* (log (sqrt x)) (/ 1.0 n))))))
100.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

regimes4.2s (3.4%)

Accuracy

Total 24.9b remaining (25.1%)

Threshold costs 6.6b (6.7%)

3.7b87.1%quadp (p42, positive)
3.5b87.8%quadm (p42, negative)
3.3b0%expq3 (problem 3.4.2)
3.0b89.5%quad2p (problem 3.2.1, positive)
2.0b81%2nthrt (problem 3.4.6)

rewrite3.1s (2.6%)

Algorithm
110×rewrite-expression-head
Calls

357 calls:

47.0ms
(- (/ x (cbrt (- x (tan x)))) (/ (sin x) (cbrt (- x (tan x)))))
32.0ms
(/ (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
32.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
30.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
29.0ms
(- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))
Rules
5307×*-un-lft-identity
4677×add-sqr-sqrt
4669×times-frac
2712×add-cube-cbrt
1562×sqrt-prod
1087×add-exp-log
858×add-cbrt-cube
764×difference-of-squares
762×pow1
745×distribute-lft-out
701×add-log-exp
632×distribute-lft-out--
503×associate-/l*
444×associate-*r*
369×associate-*l*
366×unpow-prod-down
324×associate-/r*
291×flip-- flip3--
277×cbrt-prod
262×prod-exp
232×associate-*l/
223×unswap-sqr
213×log-prod
206×flip-+ flip3-+
202×associate-/r/
194×div-exp
177×div-inv
175×sqr-pow
162×associate-*r/
161×cube-prod
159×sqrt-pow1
153×sqrt-div
152×cbrt-unprod
146×frac-times
143×cbrt-undiv
135×cbrt-div
133×sub-neg
124×diff-log
112×associate-/l/
110×pow1/2
109×pow-prod-down
102×frac-add
87×log-pow
82×pow-unpow
74×swap-sqr
71×tan-quot *-commutative
69×pow-exp
66×sum-log distribute-rgt-neg-in
65×pow-to-exp
64×associate-+l+
62×distribute-rgt-in distribute-lft-in
61×pow-prod-up
60×clear-num frac-2neg
47×frac-sub
44×pow1/3
43×unpow2
42×rem-sqrt-square
35×+-commutative
33×log-div associate--l+
30×1-exp rec-exp pow-pow
29×pow-sqr
21×div-sub
18×exp-prod
16×rem-log-exp
14×cube-mult associate--r+ unpow3
13×neg-sub0 associate-+r+ sub-div
12×associate--l- exp-sum un-div-inv
10×associate-+l- distribute-rgt-out-- rem-cube-cbrt
9×exp-to-pow neg-log
8×pow2 difference-cubes pow-plus sqrt-unprod cos-mult
7×sin-mult
6×inv-pow pow-flip
5×associate-+r-
4×cube-div associate--r- difference-of-sqr-1
3×rem-square-sqrt sqrt-pow2 sin-cos-mult exp-diff rem-exp-log
2×distribute-lft-neg-in exp-neg tan-sum cos-sum neg-mul-1 sin-sum distribute-neg-frac
1×diff-cos diff-sin diff-atan rem-cbrt-cube

localize1.3s (1.0%)

bsearch680.0ms (0.6%)

end0.0ms (0.0%)

Profiling

Loading profile data...