Date:Friday, July 3rd, 2020
Commit:8652dc03 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020185
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

sample22.2s (37.1%)

Algorithm
24×intervals
Results
6.1s4682×body5120exit
5.3s10994×body1280valid
3.0s77627×body80valid
1.9s6523×body640valid
1.1s2514×body1280nan
839.0ms24768×pre80true
560.0ms2039×body640nan
554.0ms2722×body320valid
182.0ms1206×body160valid
180.0ms1033×body320nan
177.0ms2016×body80invalid
85.0ms237×body640invalid
62.0ms132×body1280invalid
48.0ms183×body320invalid
31.0ms309×body160nan
18.0ms105×body160invalid
11.0ms4×body5120nan
9.0ms144×body80overflowed
9.0ms197×body80nan
4.0ms4×body2560nan

analyze21.2s (35.4%)

Algorithm
12×search
Search
TrueOtherFalseIter
0%75%25%0
0%75%25%1
0%75%25%2
22.9%52.1%25%3
33.3%41.6%25%4
39%35.9%25%5
41.6%32.5%25.8%6
45.3%28.8%26%7
47%26.6%26.4%8
48.9%24.6%26.5%9
50.9%22.1%26.9%10
51.5%21.3%27.2%11
52.3%20.2%27.5%12
53.1%19.2%27.7%13
53.3%18.6%28.1%14

simplify4.9s (8.2%)

Algorithm
67×egg-herbie

prune4.6s (7.7%)

Filtered
3214 candidates to 2071 candidates (35.6%)

series3.3s (5.5%)

Calls

105 calls:

126.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan z) (sin y)) (cos y)))) (tan a)))
124.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
117.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan z) (sin y)) (cos y)))) (tan a))
116.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
115.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes2.4s (4.0%)

Accuracy

Total 9.5b remaining (52.1%)

Threshold costs 2.6b (14.1%)

6.9b-10%mixedcos
0.4b0%sqrt C
0.4b0%sqrt D
0.3b0%rsin B
0.3b0%sqrt E

rewrite822.0ms (1.4%)

Algorithm
43×rewrite-expression-head
Calls

105 calls:

22.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
20.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan z) (sin y)) (cos y)))) (tan a)))
18.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan z) (sin y)) (cos y)))) (tan a))
14.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x)))
14.0ms
(/ (cos (* 2.0 x)) (* (* x (pow c (/ 2.0 2))) (* (* x (pow s 2.0)) (pow c (/ 2.0 2)))))
Rules
1458×add-exp-log
924×prod-exp
808×add-sqr-sqrt
625×*-un-lft-identity
572×add-cube-cbrt
464×times-frac
449×add-cbrt-cube
336×associate-*r*
259×pow1
242×div-exp
241×pow-exp
232×pow-to-exp
223×associate-*l*
213×sqrt-prod
187×unpow-prod-down
166×cbrt-unprod
138×add-log-exp
96×unswap-sqr
90×associate-/l*
82×pow-prod-down
67×associate-/r*
59×cbrt-undiv sqr-pow
52×*-commutative
38×div-inv
37×pow-unpow
34×associate-/r/
27×tan-quot
24×cbrt-prod
22×sqrt-pow1
21×clear-num frac-2neg
19×flip-- flip3-- sin-mult distribute-lft-out-- difference-of-squares
18×log-prod
16×pow1/2 cos-mult
15×unpow-prod-up exp-prod
14×associate-*r/ log-pow
13×frac-sub
11×sub-neg diff-log
10×associate-*l/ distribute-lft-out
8×sub-div pow-pow
7×rem-sqrt-square sum-log 1-exp rec-exp
6×cube-div flip-+ flip3-+
4×+-commutative sqrt-unprod sqrt-div associate-/l/ frac-times
3×cbrt-div associate-+r+ associate-+r- distribute-rgt-out
2×tan-sum cos-sum inv-pow cube-prod cube-mult pow-flip unpow3 rem-cube-cbrt
1×rem-log-exp neg-sub0 exp-neg frac-add distribute-lft1-in count-2 pow1/3 div-sub distribute-rgt1-in un-div-inv rem-cbrt-cube exp-diff

localize428.0ms (0.7%)

bsearch29.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...