Date:Wednesday, June 17th, 2020
Commit:5ab00fd3 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020169
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

analyze29.3s (40.0%)

Algorithm
24×search
sampling

Space saved by range analysis: 28.043374%

Space saved by search: 31.374283%

Guaranteed chance to sample good point: 74.706977%

sample22.1s (30.2%)

Algorithm
24×intervals
Results
6.3s4907×body5120exit
5.0s10854×body1280valid
2.9s77633×body80valid
1.8s6558×body640valid
1.1s2487×body1280nan
877.0ms24768×pre80true
604.0ms2184×body640nan
564.0ms2748×body320valid
184.0ms1279×body160valid
183.0ms1040×body320nan
129.0ms1468×body80invalid
79.0ms242×body640invalid
54.0ms116×body1280invalid
41.0ms165×body320invalid
23.0ms233×body160nan
17.0ms106×body160invalid
6.0ms87×body80overflowed
3.0ms80×body80nan
1.0ms1×body2560nan

simplify7.7s (10.6%)

Algorithm
66×egg-herbie

prune5.4s (7.4%)

Filtered
3277 candidates to 2130 candidates (35.0%)

series4.0s (5.5%)

Calls

115 calls:

459.0ms
(/ (- (* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (* (tan a) (tan a))) (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
126.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
120.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
119.0ms
(- (cbrt (pow (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) 3)) (tan a))
83.0ms
(pow (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) 3)

regimes3.1s (4.3%)

Accuracy

Total 7.2b remaining (91.6%)

Threshold costs 2.3b (29.5%)

2.3b7%mixedcos
1.3b0%sqrt E
1.2b0%exp-w crasher
0.4b0%sqrt A
0.4b0%sqrt C

rewrite802.0ms (1.1%)

Algorithm
42×rewrite-expression-head
Calls

115 calls:

31.0ms
(/ (- (* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))) (* (tan a) (tan a))) (+ (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
20.0ms
(- (cbrt (pow (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) 3)) (tan a))
19.0ms
(* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))))
15.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
14.0ms
(* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
Rules
956×add-exp-log
751×add-sqr-sqrt
687×*-un-lft-identity
583×prod-exp
555×add-cube-cbrt
423×pow1
390×times-frac
375×add-cbrt-cube
371×unpow-prod-down
223×associate-*l*
199×associate-*r*
181×cbrt-prod
175×pow-exp
165×sqrt-pow1
155×pow-prod-down
151×pow-to-exp
144×sqrt-prod
140×add-log-exp
137×cbrt-unprod
106×div-exp
83×associate-/l*
78×sqr-pow
69×unswap-sqr
54×associate-/r*
52×associate-/r/
51×pow-unpow distribute-lft-out
47×*-commutative
40×cbrt-undiv cube-prod
39×swap-sqr
37×tan-quot
33×pow1/2
30×div-inv
29×sin-mult
27×flip-- flip3-- difference-of-squares
24×frac-sub pow-prod-up
21×cos-mult
19×clear-num frac-2neg
17×distribute-lft-out--
16×associate-/l/ pow-sqr
14×associate-*r/ pow1/3
13×pow-pow
11×associate-*l/ frac-times
10×distribute-rgt-out sub-div
9×rem-sqrt-square sub-neg diff-log
6×cube-div flip-+ flip3-+
4×pow2 cbrt-div associate-+r+ sum-log pow-plus sqrt-div cube-mult unpow3 rem-cube-cbrt
3×log-prod log-pow
2×frac-add +-commutative tan-sum cos-sum associate-+r- distribute-lft1-in sqrt-unprod count-2 div-sub distribute-rgt1-in rem-cbrt-cube
1×rem-log-exp rem-square-sqrt exp-to-pow exp-prod unpow2

localize445.0ms (0.6%)

bsearch175.0ms (0.2%)

end0.0ms (0.0%)

Profiling

Loading profile data...