Date:Sunday, June 28th, 2020
Commit:ddc1d8f4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020180
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.2min (53.2%)

Algorithm
56×intervals
Results
26.7s69729×body1280valid
18.9s17336×body2560valid
9.5s44011×body640valid
3.0s21280×body320valid
2.8s67943×body80valid
1.3s1153×body1280nan
957.0ms10398×body160valid
662.0ms43101×pre80true
660.0ms910×body640nan
543.0ms3109×body80overflowed
311.0ms718×body1280overflowed
206.0ms474×body320nan
181.0ms3581×body80nan
178.0ms471×body5120valid
164.0ms241×body640invalid
129.0ms99×body1280invalid
114.0ms383×body640overflowed
112.0ms164×body2560overflowed
106.0ms1774×body80invalid
76.0ms177×body320invalid
53.0ms232×body160nan
44.0ms209×body320overflowed
20.0ms84×body160invalid
10.0ms75×body160overflowed
2.0ms2×body2560invalid

analyze20.0s (15.0%)

Algorithm
56×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.6%22.3%7
49.9%27.4%22.7%8
51.1%25.4%23.5%9
51.5%24.3%24.2%10
52.4%22.9%24.7%11
53.2%21.5%25.2%12
53.5%20.9%25.6%13
53.9%20.1%26%14

prune17.2s (12.8%)

Filtered
10598 candidates to 6674 candidates (37.0%)

simplify8.1s (6.1%)

Algorithm
165×egg-herbie

series5.7s (4.2%)

Calls

343 calls:

643.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* b eps) (* (* b b) (+ (* b (* 1/6 (pow eps 3))) (* eps (* eps 1/2)))))))
325.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (* (tan x) (* (tan eps) (tan eps)))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
180.0ms
(- (* (+ (/ (pow (sin eps) 2) (pow (cos eps) 2)) 1) (/ (sin x) (* (cos x) (- 1 (* (/ (pow (sin eps) 2) (pow (cos eps) 2)) (/ (pow (sin x) 2) (pow (cos x) 2))))))) (/ (sin x) (cos x)))
100.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
88.0ms
(log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))

regimes4.2s (3.1%)

Accuracy

Total 17.5b remaining (27.1%)

Threshold costs 6.2b (9.6%)

3.1b0%expq3 (problem 3.4.2)
2.3b81.3%2nthrt (problem 3.4.6)
1.8b92.5%quadm (p42, negative)
1.6b93.2%quadp (p42, positive)
1.3b94.7%quad2p (problem 3.2.1, positive)

rewrite3.3s (2.4%)

Algorithm
109×rewrite-expression-head
Calls

343 calls:

111.0ms
(/ (* (+ (/ 1.0 (+ 1.0 x)) (/ 2.0 x)) (+ (/ 2.0 (* x x)) (- (/ 2.0 (pow x 4)) (/ 2.0 (pow x 3))))) (* (- x 1.0) (+ (/ 1.0 (+ 1.0 x)) (/ 2.0 x))))
73.0ms
(+ (* (* (cbrt (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x))) (cbrt (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x)))) (cbrt (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x)))) (/ 1.0 (- x 1.0)))
70.0ms
(/ (* (+ (/ 1.0 (+ 1.0 x)) (/ 2.0 x)) (+ (* (- x 1.0) (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x))) 1.0)) (* (- x 1.0) (+ (/ 1.0 (+ 1.0 x)) (/ 2.0 x))))
49.0ms
(- (/ 2.0 (pow x 4)) (/ 2.0 (pow x 3)))
45.0ms
(/ (/ 1.0 (cbrt (pow (sqrt (+ (sqrt (+ 1.0 x)) (sqrt x))) 3))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
Rules
5527×*-un-lft-identity
4238×times-frac
3692×add-sqr-sqrt
2580×sqrt-prod
2503×add-cube-cbrt
1280×distribute-lft-out
1135×cbrt-prod
989×add-exp-log
903×add-cbrt-cube
660×unpow-prod-down
622×pow1
619×add-log-exp
552×difference-of-squares
483×associate-/l*
469×cube-prod
392×distribute-lft-out--
343×associate-/r*
319×log-prod
249×associate-*r*
237×flip-- flip3--
218×associate-/r/
217×cbrt-div
197×prod-exp
191×div-exp
180×flip-+ flip3-+ sqr-pow
179×cbrt-unprod
175×cbrt-undiv
174×associate-*l*
152×div-inv
144×frac-times
116×log-pow
106×associate-*r/ sqrt-div
103×frac-add
99×associate-/l/
97×sub-neg exp-prod
95×distribute-rgt-neg-in
93×diff-log
91×pow-prod-down
82×frac-sub
81×unswap-sqr
75×pow-unpow clear-num frac-2neg
68×exp-sum
66×associate-*l/
65×cube-mult
62×log-div
57×pow1/3
54×sum-log
50×*-commutative
45×associate--l+ unpow3
39×tan-quot
36×pow-pow
35×distribute-rgt-in distribute-lft-in
30×pow-exp +-commutative
29×div-sub
28×cube-div pow-to-exp
27×distribute-lft-neg-in sqrt-pow1 pow1/2
25×unpow-prod-up
21×swap-sqr
20×rem-log-exp rem-sqrt-square
19×neg-sub0
18×exp-diff unpow2
14×neg-log
13×associate--l-
12×sum-cubes distribute-rgt-out--
11×associate-+r+ associate--r+
10×associate-+l-
9×neg-mul-1
7×pow-sqr pow-prod-up
6×rem-exp-log
5×difference-cubes 1-exp distribute-frac-neg rec-exp
4×pow2 associate-+l+ pow-plus sub-div associate--r- pow-sub
3×associate-+r- sqrt-unprod inv-pow distribute-rgt-neg-out rem-cbrt-cube pow-flip
2×exp-neg e-exp-1 tan-sum cos-sum sin-sum sin-mult rem-cube-cbrt
1×diff-cos distribute-rgt-out sqrt-pow2 sin-cos-mult diff-sin unsub-neg diff-atan distribute-rgt1-in un-div-inv

bsearch2.9s (2.2%)

localize1.2s (0.9%)

end1.0ms (0.0%)

Profiling

Loading profile data...