Date:Wednesday, June 3rd, 2020
Commit:75abde43 on ival-perf
Hostname:warfa with Racket 7.5
Seed:2020155
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.3m (62.9%)

Algorithm
56×intervals
Results
25.7s67787×body1280valid
18.4s17057×body2560valid
9.1s42442×body640valid
4.0s91960×body80valid
2.9s20536×body320valid
2.5s65845×body80nan
1.4s1188×body1280nan
1.2s10941×body160valid
1.1s15900×body80overflowed
691.0ms47281×pre80true
680.0ms945×body640nan
195.0ms457×body320nan
174.0ms502×body5120valid
53.0ms235×body160nan

prune21.7s (17.8%)

Filtered
8175 candidates to 12556 candidates (-53.6%)

simplify8.6s (7.1%)

Algorithm
166×egg-herbie

series5.5s (4.5%)

Calls

375 calls:

650.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)))))
97.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
95.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (cbrt (pow (* (tan x) (tan eps)) 3)))) (tan x))
95.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps))))) (tan x))
75.0ms
(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))

regimes4.2s (3.4%)

Accuracy

Total 25.6b remaining (26%)

Threshold costs 5.8b (5.9%)

4.8b82.5%quadp (p42, positive)
4.7b82.3%quad2p (problem 3.2.1, positive)
3.1b0%expq3 (problem 3.4.2)
2.2b80.2%2nthrt (problem 3.4.6)
1.6b84%2cos (problem 3.3.5)

rewrite3.3s (2.8%)

Algorithm
110×rewrite-expression-head
Calls

375 calls:

35.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
33.0ms
(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
32.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
30.0ms
(- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))
27.0ms
(/ (/ a (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) a)
Rules
5562×times-frac
5470×*-un-lft-identity
5440×add-sqr-sqrt
3274×add-cube-cbrt
1231×add-exp-log
939×sqrt-prod
903×add-cbrt-cube
814×difference-of-squares
736×add-log-exp
726×associate-*r*
706×pow1
682×distribute-lft-out--
608×unpow-prod-down
566×associate-/l*
536×cbrt-prod
469×distribute-lft-out
434×associate-/r*
347×associate-*l*
294×log-prod
278×div-exp
277×unswap-sqr
275×div-inv
267×flip-- flip3--
260×prod-exp
250×sqr-pow
227×associate-/r/
223×flip-+ flip3-+
174×cbrt-undiv
168×associate-*l/
164×log-pow
156×cbrt-div
152×unpow2
148×pow-unpow
146×cbrt-unprod
132×cube-prod
131×diff-log
129×sqrt-div
125×sub-neg
123×associate-*r/
113×exp-prod
110×frac-times
106×distribute-rgt-neg-in
104×associate-/l/
90×swap-sqr
87×pow-prod-down
85×sqrt-pow1
79×pow-exp
77×pow-to-exp
76×pow1/3
74×clear-num frac-2neg
70×*-commutative
68×sum-log
66×frac-add
63×pow1/2
47×distribute-rgt-in distribute-lft-in
35×frac-sub
32×rem-log-exp
30×rem-sqrt-square tan-quot
29×log-div 1-exp rec-exp pow-prod-up
28×cube-div
26×+-commutative associate--l+ pow-pow
23×cube-mult unpow3
22×div-sub
19×pow-sqr
16×associate-+l+
14×neg-sub0 distribute-rgt-out-- associate--r+
13×exp-sum
12×associate--l-
10×associate-+r+ cos-mult pow-flip
9×inv-pow neg-log
8×rem-cbrt-cube exp-diff rem-cube-cbrt
7×pow2 pow-plus associate-+l- sin-mult rem-exp-log
5×exp-to-pow sqrt-unprod
4×difference-of-sqr-1
3×sqrt-pow2 sub-div un-div-inv
2×distribute-lft-neg-in exp-neg tan-sum cos-sum associate-+r- neg-mul-1 rem-square-sqrt sin-sum distribute-neg-frac
1×diff-cos sin-cos-mult +-inverses diff-sin diff-atan

localize1.2s (1.0%)

bsearch568.0ms (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...