Date:Sunday, May 31st, 2020
Commit:d643102f on ival-performance
Hostname:warfa with Racket 7.5
Seed:2020152
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.2m (62.7%)

Algorithm
56×intervals
Results
25.2s67784×body1280valid
18.0s17275×body2560valid
8.8s41736×body640valid
3.9s91985×body80valid
2.8s20764×body320valid
2.4s64963×body80nan
1.3s1148×body1280nan
1.0s15488×body80overflowed
997.0ms11224×body160valid
659.0ms47269×pre80true
648.0ms929×body640nan
203.0ms494×body320nan
156.0ms437×body5120valid
50.0ms215×body160nan

prune21.4s (18.0%)

Filtered
7951 candidates to 12436 candidates (-56.4%)

simplify8.8s (7.4%)

Algorithm
163×egg-herbie

series5.2s (4.3%)

Calls

349 calls:

274.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
133.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (log (exp (* (tan x) (tan eps)))))) (tan x))
129.0ms
(log (sqrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
95.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
89.0ms
(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

regimes4.1s (3.4%)

Accuracy

Total 21.7b remaining (24.1%)

Threshold costs 4.9b (5.4%)

4.5b83.4%quad2p (problem 3.2.1, positive)
3.4b0%expq3 (problem 3.4.2)
2.0b83.6%2nthrt (problem 3.4.6)
1.6b93.5%quad2m (problem 3.2.1, negative)
1.5b84.9%2cos (problem 3.3.5)

rewrite3.3s (2.8%)

Algorithm
107×rewrite-expression-head
Calls

349 calls:

38.0ms
(/ (/ 1.0 (* (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
35.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
(* (/ (sqrt (- 1.0 (cos x))) x) (/ (sqrt (log (exp (- 1.0 (cos x))))) x))
Rules
6815×times-frac
6578×*-un-lft-identity
5876×add-sqr-sqrt
3535×add-cube-cbrt
2064×sqrt-prod
1207×add-exp-log
942×difference-of-squares
941×add-cbrt-cube
876×distribute-lft-out
725×distribute-lft-out--
691×add-log-exp
683×associate-*r*
647×pow1
620×associate-/l*
600×unpow-prod-down
412×associate-*l*
394×associate-/r/
377×sqrt-div
344×associate-/r*
295×div-exp
277×flip-- flip3--
276×sqr-pow
271×prod-exp
259×div-inv
256×flip-+ flip3-+
252×log-pow
243×unswap-sqr
205×log-prod
200×exp-prod
196×cbrt-undiv
194×associate-*l/
172×cube-prod
164×cbrt-unprod
142×cbrt-prod
139×frac-times
138×associate-*r/ sub-neg
134×unpow2
131×diff-log
102×sqrt-pow1
98×associate-/l/
96×distribute-rgt-neg-in
92×swap-sqr
74×pow-prod-down
73×pow-unpow
69×pow-exp
68×pow-to-exp clear-num frac-2neg
64×pow1/2 *-commutative
55×frac-add
52×sum-log
43×distribute-rgt-in distribute-lft-in
38×frac-sub
36×rem-sqrt-square log-div
35×rem-log-exp
32×tan-quot
31×1-exp rec-exp
25×exp-sum +-commutative
23×pow1/3
22×div-sub
21×associate--l+ pow-prod-up
20×associate-+l+
19×pow-pow
16×exp-diff
13×associate--r+
12×neg-sub0
11×associate--l- cube-mult pow-sqr unpow3
9×cos-mult
8×neg-log rem-cube-cbrt
7×difference-cubes cbrt-div associate-+l-
6×pow2 pow-plus sqrt-unprod un-div-inv
5×associate-+r+ sin-mult rem-exp-log
4×exp-to-pow inv-pow pow-flip
3×distribute-rgt-out-- difference-of-sqr-1
2×cube-div exp-neg sqr-cos tan-sum cos-sum associate-+r- rem-square-sqrt sub-div sin-sum pow3 sub-1-cos
1×diff-cos sin-cos-mult diff-sin log-rec diff-atan distribute-frac-neg distribute-rgt-neg-out rem-cbrt-cube

localize1.2s (1.0%)

bsearch548.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...