Date:Wednesday, June 17th, 2020
Commit:fb53a5c5 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

analyze26.3s (39.0%)

Algorithm
22×search
sampling

Space saved by range analysis: 30.473439%

Space saved by search: 33.473802%

Guaranteed chance to sample good point: 73.759967%

sample19.9s (29.6%)

Algorithm
22×intervals
Results
6.3s4907×body5120exit
4.6s10191×body1280valid
2.2s63637×body80valid
1.6s5851×body640valid
1.1s2487×body1280nan
855.0ms24768×pre80true
596.0ms2184×body640nan
451.0ms2326×body320valid
176.0ms1040×body320nan
154.0ms1067×body160valid
23.0ms233×body160nan
8.0ms104×body80invalid
6.0ms87×body80overflowed
6.0ms80×body80nan
2.0ms5×body1280invalid
2.0ms7×body640invalid
1.0ms6×body320invalid
1.0ms1×body2560nan
0.0ms3×body160invalid

simplify7.3s (10.8%)

Algorithm
64×egg-herbie

prune5.4s (8.0%)

Filtered
3277 candidates to 2130 candidates (35.0%)

series4.0s (6.0%)

Calls

115 calls:

451.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)))
127.0ms
(+ x (- (/ (+ (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))
119.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
90.0ms
(sqrt (* 2.0 (pow x 2.0)))

regimes3.2s (4.7%)

Accuracy

Total 4.5b remaining (91.4%)

Threshold costs 2.0b (40.1%)

1.3b0%sqrt E
1.2b0%exp-w crasher
0.4b0%sqrt A
0.4b0%sqrt C
0.4b0%sqrt D

rewrite815.0ms (1.2%)

Algorithm
42×rewrite-expression-head
Calls

115 calls:

32.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)))
21.0ms
(- (cbrt (pow (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) 3)) (tan a))
20.0ms
(* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))))
15.0ms
(* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
15.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
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

localize452.0ms (0.7%)

bsearch3.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...