Date:Monday, June 29th, 2020
Commit:9427dca4 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020181
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 (51.8%)

Algorithm
56×intervals
Results
26.8s69443×body1280valid
18.9s17340×body2560valid
9.4s43876×body640valid
3.1s21762×body320valid
2.8s67857×body80valid
1.2s1070×body1280nan
946.0ms10442×body160valid
654.0ms43047×pre80true
642.0ms925×body640nan
510.0ms3093×body80overflowed
289.0ms688×body1280overflowed
211.0ms504×body320nan
187.0ms275×body640invalid
171.0ms448×body5120valid
163.0ms3313×body80nan
136.0ms110×body1280invalid
106.0ms380×body640overflowed
95.0ms144×body2560overflowed
94.0ms1665×body80invalid
72.0ms174×body320invalid
53.0ms235×body160nan
42.0ms194×body320overflowed
22.0ms95×body160invalid
14.0ms102×body160overflowed
2.0ms1×body2560invalid

prune20.6s (15.0%)

Filtered
10849 candidates to 7197 candidates (33.7%)

analyze19.4s (14.2%)

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

simplify7.9s (5.7%)

Algorithm
166×egg-herbie

series6.6s (4.8%)

Calls

369 calls:

447.0ms
(* eps (/ (- (pow (exp (+ a b)) eps) 1.0) (* (* eps (+ a (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))) (- (pow (exp b) eps) 1.0))))
403.0ms
(pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3)
378.0ms
(cbrt (/ c (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
145.0ms
(* (/ a (* (cbrt a) (cbrt a))) (/ c (+ (sqrt (- (* b_2 b_2) (* a c))) (neg b_2))))
102.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

regimes4.0s (2.9%)

Accuracy

Total 20.4b remaining (18.2%)

Threshold costs 5.8b (5.2%)

4.5b84.3%quadm (p42, negative)
4.0b0%expq3 (problem 3.4.2)
1.8b92.6%quadp (p42, positive)
1.6b93.2%quad2p (problem 3.2.1, positive)
1.6b93.3%quad2m (problem 3.2.1, negative)

rewrite3.3s (2.4%)

Algorithm
110×rewrite-expression-head
Calls

369 calls:

79.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ (/ 1.0 (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (cbrt (- x 1.0))))
56.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
44.0ms
(+ (/ 1.0 (- x 1.0)) (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x)))
36.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
32.0ms
(cbrt (+ (/ 1.0 (- x 1.0)) (- (/ 1.0 (+ 1.0 x)) (/ 2.0 x))))
Rules
4382×*-un-lft-identity
3839×add-sqr-sqrt
3272×times-frac
2260×add-cube-cbrt
1530×sqrt-prod
1090×add-exp-log
944×add-cbrt-cube
762×difference-of-squares
724×pow1
658×add-log-exp
627×cbrt-prod
625×distribute-lft-out
601×unpow-prod-down
476×distribute-lft-out--
391×associate-/l*
359×associate-*r*
350×log-prod
299×cube-prod
298×associate-*l*
263×associate-/r*
233×prod-exp
232×associate-/r/
228×sqr-pow
210×flip-- flip3--
205×div-exp
196×flip-+ flip3-+
194×cbrt-unprod
183×cbrt-undiv pow-unpow
161×div-inv
139×sqrt-div
137×associate-*r/
130×unswap-sqr
125×exp-prod
113×sqrt-pow1
108×pow-prod-down
102×log-pow
94×cbrt-div
89×sub-neg diff-log
86×swap-sqr
77×pow1/3
75×pow-pow
73×pow1/2
69×distribute-rgt-neg-in
68×associate-*l/ frac-times
65×associate-+r+
64×sum-log
62×clear-num *-commutative frac-2neg
58×associate-/l/
48×pow-exp
47×frac-add
44×pow-to-exp
38×distribute-rgt-in distribute-lft-in pow-prod-up
36×unpow2
35×+-commutative
33×log-div
32×tan-quot
30×rem-sqrt-square pow-sqr
28×rem-log-exp
24×frac-sub div-sub
20×associate--l+
16×neg-sub0
15×associate-+l+
14×neg-log cube-mult unpow3
12×associate-+r-
10×associate--l- pow2 pow-plus
8×cube-div exp-sum distribute-rgt-out rem-cube-cbrt
7×1-exp rec-exp associate-+l-
6×sqrt-unprod
5×unsub-neg rem-exp-log
4×rem-cbrt-cube exp-diff associate--r+
3×difference-cubes rem-square-sqrt sqrt-pow2 distribute-frac-neg distribute-rgt-out--
2×tan-sum cos-sum inv-pow sin-sum distribute-rgt-neg-out pow-flip sin-mult
1×diff-cos sin-cos-mult exp-to-pow sub-div diff-sin diff-atan distribute-rgt1-in un-div-inv

bsearch2.9s (2.1%)

localize1.5s (1.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...