Date:Saturday, June 27th, 2020
Commit:6b86a4bc on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020179
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

analyze42.1s (50.8%)

Algorithm
24×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

sample22.5s (27.1%)

Algorithm
24×intervals
Results
6.1s4824×body5120exit
5.1s10757×body1280valid
3.0s77825×body80valid
1.8s6606×body640valid
1.3s2514×body1280nan
867.0ms24768×pre80true
573.0ms2091×body640nan
547.0ms2660×body320valid
190.0ms2118×body80invalid
189.0ms1224×body160valid
186.0ms1082×body320nan
74.0ms224×body640invalid
70.0ms141×body1280invalid
49.0ms202×body320invalid
32.0ms288×body160nan
16.0ms96×body160invalid
11.0ms162×body80overflowed
9.0ms199×body80nan
2.0ms2×body2560nan
2.0ms1×body5120nan

prune5.3s (6.4%)

Filtered
3261 candidates to 2085 candidates (36.1%)

simplify4.7s (5.7%)

Algorithm
67×egg-herbie

series3.8s (4.6%)

Calls

110 calls:

157.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
132.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
126.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
125.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
86.0ms
(sqrt (* 2.0 (pow x 2.0)))

regimes3.0s (3.7%)

Accuracy

Total 3.6b remaining (9.9%)

Threshold costs 2.4b (6.8%)

1.1b0%mixedcos
0.4b0%sqrt C
0.3b0%rsin A
0.3b99%sqrt A
0.3b0%rsin B

rewrite876.0ms (1.1%)

Algorithm
43×rewrite-expression-head
Calls

110 calls:

24.0ms
(* (sqrt 2.0) (pow (/ 1 (pow (pow x (neg 1.0)) 1.0)) 1.0))
23.0ms
(* (sqrt 2) (pow (/ 1 (pow (pow x (neg 1.0)) 1.0)) 1.0))
21.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
21.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)))))
20.0ms
(* (* x (* (neg (pow (cbrt (sqrt 2)) 2)) (* (cbrt (cbrt (sqrt 2))) (cbrt (cbrt (sqrt 2)))))) (cbrt (cbrt (sqrt 2))))
Rules
1059×add-exp-log
824×add-sqr-sqrt
592×*-un-lft-identity
556×prod-exp
530×add-cube-cbrt
461×unpow-prod-down
410×add-cbrt-cube
408×associate-*r*
396×times-frac
330×pow1
241×pow-exp
196×associate-*l*
189×sqrt-prod
176×cbrt-unprod
162×div-exp
137×unswap-sqr
130×add-log-exp
127×pow-prod-down
121×pow-to-exp
114×sqr-pow
72×cbrt-prod
69×associate-/l*
61×associate-/r*
57×*-commutative
52×pow-unpow
40×cbrt-undiv tan-quot
39×associate-/r/
32×associate-*l/
26×div-inv
24×frac-sub flip-- flip3--
23×1-exp rec-exp
22×sqrt-pow1 sin-mult
21×distribute-lft-neg-in distribute-rgt-neg-in
19×cos-mult
17×clear-num frac-2neg distribute-lft-out-- difference-of-squares
14×distribute-rgt-neg-out
13×associate-*r/
12×pow-pow
11×associate-/l/
9×cube-div exp-prod
8×flip-+ flip3-+ pow1/2
7×log-prod sub-div
6×distribute-lft-neg-out sub-neg diff-log frac-times
5×frac-add cbrt-div sum-log distribute-lft-out
4×cube-prod cube-mult unpow3 rem-cube-cbrt
3×rem-log-exp +-commutative rem-sqrt-square neg-mul-1 inv-pow pow1/3 pow-flip
2×tan-sum cos-sum associate-+r+ associate-+r- sqrt-div div-sub rem-cbrt-cube
1×log-pow un-div-inv

localize447.0ms (0.5%)

bsearch84.0ms (0.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...