Date:Tuesday, July 14th, 2020
Commit:0946c439 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020196
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

sample29.9s (41.0%)

Algorithm
26×intervals
Results
8.9s6459×body5120exit
6.7s13858×body1280valid
3.2s78501×body80valid
3.0s9301×body640valid
1.6s3584×body1280nan
887.0ms3037×body640nan
860.0ms3884×body320valid
835.0ms24768×pre80true
295.0ms1578×body320nan
286.0ms1784×body160valid
177.0ms1990×body80invalid
93.0ms264×body640invalid
76.0ms150×body1280invalid
72.0ms605×body160nan
54.0ms207×body320invalid
29.0ms468×body80nan
19.0ms110×body160invalid
9.0ms143×body80overflowed
1.0ms1×body2560nan

analyze22.5s (30.9%)

Algorithm
13×search
Search
TrueOtherFalseIter
0%76.9%23.1%0
0%76.9%23.1%1
0%76.9%23.1%2
25%51.9%23.1%3
34.6%42.3%23.1%4
39.9%37%23.1%5
42.3%33.9%23.8%6
45.6%30.4%24%7
47.2%28.4%24.4%8
49%26.5%24.5%9
50.8%24.3%24.9%10
51.4%23.5%25.1%11
52.1%22.5%25.4%12
52.8%21.6%25.6%13
53%21%25.9%14

prune6.2s (8.5%)

Filtered
4705 candidates to 2555 candidates (45.7%)

simplify5.4s (7.4%)

Algorithm
72×egg-herbie

series3.7s (5.1%)

Calls

136 calls:

130.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
109.0ms
(/ (cos (* 2.0 x)) (* x (* (* x (pow (/ 1 (* (pow (pow c (neg 1.0)) 1.0) (pow (pow s (neg 1.0)) 1.0))) 1.0)) (pow (* c s) (/ 2.0 2)))))
98.0ms
(* x (* (* x (pow (/ 1 (* (pow (pow c (neg 1.0)) 1.0) (pow (pow s (neg 1.0)) 1.0))) 1.0)) (pow (* c s) (/ 2.0 2))))
91.0ms
(sqrt (* (pow x 2.0) 2))
86.0ms
(sqrt (* 2.0 (pow x 2.0)))

regimes3.3s (4.5%)

Accuracy

Total 6.3b remaining (9.1%)

Threshold costs 2.8b (4.1%)

3.5b-1.9%mixedcos
0.4b0%sqrt B
0.4b0%sqrt D
0.4b0%sqrt C
0.3b0%rsin B

rewrite1.3s (1.7%)

Algorithm
46×rewrite-expression-head
Calls

136 calls:

48.0ms
(/ (cos (* 2.0 x)) (* x (* (* x (pow (/ 1 (* (pow (pow c (neg 1.0)) 1.0) (pow (pow s (neg 1.0)) 1.0))) 1.0)) (pow (* c s) (/ 2.0 2)))))
34.0ms
(* x (* (* x (pow (/ 1 (* (pow (pow c (neg 1.0)) 1.0) (pow (pow s (neg 1.0)) 1.0))) 1.0)) (pow (* c s) (/ 2.0 2))))
24.0ms
(* (cbrt (/ (pow l (exp w)) (exp w))) (cbrt (/ (pow l (exp w)) (exp w))))
22.0ms
(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (* (fabs x) (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0))))) (cbrt (cbrt (sqrt 2.0)))))
21.0ms
(* (pow (sqrt (sqrt (sqrt (* x (+ x x))))) 3) (sqrt (sqrt (sqrt (* x (+ x x))))))
Rules
4418×add-exp-log
3393×prod-exp
2345×pow-exp
1080×add-sqr-sqrt
924×div-exp
841×pow-to-exp
706×*-un-lft-identity
650×pow1
649×add-cube-cbrt
460×times-frac
449×add-cbrt-cube
426×sqrt-prod
389×associate-*r*
338×sqrt-pow1
289×associate-*l*
271×cbrt-prod
262×1-exp rec-exp
256×pow-prod-down
192×unpow-prod-down
177×unswap-sqr
176×cbrt-unprod
162×add-log-exp
99×pow1/2
94×sqrt-div
78×sqr-pow
67×associate-*r/ swap-sqr associate-/l*
61×*-commutative
56×associate-/r*
52×pow-prod-up
47×cbrt-undiv
40×div-inv
37×associate-/r/
30×flip-+ flip3-+ pow-sqr
29×cube-prod
26×sin-mult
23×cos-mult
22×pow-unpow clear-num log-pow frac-2neg
21×flip-- tan-quot flip3--
19×exp-prod distribute-lft-out--
17×difference-of-squares
16×rem-sqrt-square pow-pow
15×pow1/3
14×frac-sub associate-*l/
13×frac-times
12×log-prod distribute-lft-out
11×sub-neg sqrt-unprod sub-div diff-log associate-/l/
8×cube-div
7×cbrt-div sin-cos-mult
6×pow-plus associate--l+
5×pow2
4×exp-sum frac-add
3×distribute-rgt-in sum-log rem-square-sqrt distribute-lft-in exp-diff
2×rem-log-exp neg-sub0 exp-neg +-commutative tan-sum cos-sum cube-mult pow-flip unpow3 rem-exp-log
1×associate-+r+ associate-+r- sqrt-pow2 inv-pow div-sub unpow2 rem-cube-cbrt

localize560.0ms (0.8%)

bsearch134.0ms (0.2%)

end0.0ms (0.0%)

Profiling

Loading profile data...