Date:Thursday, July 2nd, 2020
Commit:47d1d61e on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020184
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.5s (34.5%)

Algorithm
24×intervals
Results
6.2s4876×body5120exit
4.9s10618×body1280valid
3.1s77892×body80valid
2.0s6497×body640valid
1.1s2442×body1280nan
864.0ms24768×pre80true
581.0ms2805×body320valid
558.0ms2096×body640nan
190.0ms1260×body160valid
185.0ms1042×body320nan
182.0ms2124×body80invalid
81.0ms259×body640invalid
69.0ms137×body1280invalid
46.0ms200×body320invalid
32.0ms317×body160nan
17.0ms108×body160invalid
11.0ms257×body80nan
8.0ms133×body80overflowed
2.0ms1×body5120nan
2.0ms2×body2560nan

analyze21.2s (32.6%)

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

prune6.3s (9.7%)

Filtered
5550 candidates to 2389 candidates (57.0%)

simplify5.3s (8.1%)

Algorithm
66×egg-herbie

series4.9s (7.4%)

Calls

129 calls:

129.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
122.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
120.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
99.0ms
(pow (cbrt (sqrt (sqrt (* 2.0 (pow x 2.0))))) 4)
98.0ms
(pow (sqrt (cbrt (sqrt (* (pow x 2.0) 2)))) 4)

regimes3.0s (4.6%)

Accuracy

Total 7.1b remaining (18%)

Threshold costs 2.0b (5.1%)

2.7b34.3%mixedcos
1.2b92.2%sqrt D
1.2b92.2%sqrt E
0.3b98.9%sqrt A
0.3b98.9%sqrt B

rewrite1.5s (2.2%)

Algorithm
42×rewrite-expression-head
Calls

129 calls:

98.0ms
(/ (cos (* 2.0 x)) (* x (* (* x (pow (/ 1 (* (pow (pow (/ 1 c) 1.0) 1.0) (pow (pow (/ 1 s) 1.0) 1.0))) 1.0)) (pow (* c s) (/ 2.0 2)))))
70.0ms
(* x (* (* x (pow (/ 1 (* (pow (pow (/ 1 c) 1.0) 1.0) (pow (pow (/ 1 s) 1.0) 1.0))) 1.0)) (pow (* c s) (/ 2.0 2))))
28.0ms
(/ 1 (* (pow (pow (/ 1 c) 1.0) 1.0) (pow (pow (/ 1 s) 1.0) 1.0)))
27.0ms
(* x (pow (/ 1 (* (pow (pow (/ 1 c) 1.0) 1.0) (pow (pow (/ 1 s) 1.0) 1.0))) 1.0))
21.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
Rules
10548×add-exp-log
7644×prod-exp
7481×pow-exp
3130×div-exp
1444×pow-to-exp
1130×1-exp rec-exp
845×add-sqr-sqrt
667×*-un-lft-identity
580×add-cube-cbrt
444×pow1
389×associate-*r*
387×add-cbrt-cube
373×sqrt-prod
291×times-frac
226×associate-*l*
202×unpow-prod-down
184×sqrt-pow1
157×add-log-exp
116×pow-prod-down
111×cbrt-unprod
99×unswap-sqr
85×cbrt-prod
84×pow1/2
76×associate-/l*
63×associate-/r*
60×distribute-lft-neg-in pow-unpow distribute-rgt-neg-in
50×*-commutative sqr-pow
44×pow-prod-up
43×cbrt-undiv
38×swap-sqr
36×cube-prod
32×associate-/r/ pow-pow difference-of-squares
29×div-inv
28×tan-quot
27×flip-- flip3-- distribute-lft-out--
26×pow-sqr
23×pow1/3
22×clear-num frac-2neg
19×sin-mult
18×cos-mult
15×distribute-lft-out
14×associate-*r/
12×cbrt-div frac-sub
11×sub-neg diff-log
10×neg-mul-1 associate-/l/ distribute-rgt-neg-out
8×pow-plus sub-div associate-*l/ frac-times
6×pow2 exp-prod
5×rem-sqrt-square flip-+ flip3-+
4×sum-log rem-square-sqrt sqrt-pow2 sqrt-unprod cube-mult unpow3
2×frac-add +-commutative tan-sum cos-sum associate-+r+ associate-+r- sqrt-div pow-flip rem-cube-cbrt
1×inv-pow div-sub

localize453.0ms (0.7%)

bsearch183.0ms (0.3%)

end0.0ms (0.0%)

Profiling

Loading profile data...