Date:Wednesday, June 10th, 2020
Commit:fef9ff97 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020162
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample43.6s (69.6%)

Algorithm
22×intervals
Results
5.0s10778×body1280valid
2.7s69607×body80valid
1.9s6572×body640valid
880.0ms24768×pre80true
545.0ms2650×body320valid
184.0ms1209×body160valid
124.0ms1370×body80invalid
81.0ms239×body640invalid
70.0ms149×body1280invalid
49.0ms194×body320invalid
18.0ms109×body160invalid
sampling

Space saved by range analysis: 30.413973%

Space saved by search: 31.659356%

Guaranteed chance to sample good point: 75.700746%

prune5.4s (8.7%)

Filtered
2981 candidates to 1894 candidates (36.5%)

simplify5.2s (8.4%)

Algorithm
60×egg-herbie

series3.6s (5.8%)

Calls

107 calls:

181.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (pow (* (tan y) (tan z)) 3)) (cos a)))
146.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
127.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
119.0ms
(/ (* r (sin b)) (/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b)))))
116.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes3.5s (5.5%)

Accuracy

Total 4.9b remaining (89.1%)

Threshold costs 2.4b (44.2%)

2.4b0%mixedcos
0.4b0%sqrt C
0.4b0%sqrt A
0.4b0%sqrt D
0.3b78.4%sqrt E

rewrite812.0ms (1.3%)

Algorithm
38×rewrite-expression-head
Calls

107 calls:

21.0ms
(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0)))) (* (cbrt (cbrt (sqrt 2.0))) (fabs x))))
20.0ms
(* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (* (* (cbrt (cbrt (sqrt 2))) (cbrt (cbrt (sqrt 2)))) (* (cbrt (cbrt (sqrt 2))) (fabs x))))
19.0ms
(/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))
16.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (pow (* (tan y) (tan z)) 3)) (cos a)))
15.0ms
(/ (* r (sin b)) (/ (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b)))))
Rules
1146×add-exp-log
746×prod-exp
584×add-sqr-sqrt
480×pow1
467×add-cbrt-cube
459×*-un-lft-identity
403×add-cube-cbrt
249×times-frac
242×cbrt-unprod
224×associate-*l*
198×pow-prod-down
190×associate-*r*
150×pow-exp
148×pow-to-exp
133×add-log-exp
114×sqrt-prod
109×cbrt-prod
93×unpow-prod-down
91×div-exp
78×unswap-sqr
71×tan-quot
68×associate-*l/
59×associate-/r*
54×*-commutative associate-/l*
49×sin-mult
46×cos-mult
43×associate-/r/
41×cbrt-undiv
39×frac-sub
38×sqr-pow
35×associate-/l/
32×frac-times
31×associate-*r/
28×flip-- flip3--
26×div-inv
25×difference-of-squares
22×sqrt-pow1
21×distribute-lft-out
20×distribute-rgt-out
17×clear-num frac-2neg
16×flip-+ flip3-+ distribute-lft-out--
15×pow-sqr pow-prod-up
13×sub-div
12×pow1/3
10×frac-add
9×pow-unpow pow-plus pow1/2
8×exp-prod
7×sum-log sub-neg diff-log swap-sqr
6×cube-div pow2 rem-sqrt-square pow-pow
5×+-commutative log-pow
4×exp-sum associate-+r+ log-prod distribute-lft1-in count-2 sqrt-div div-sub distribute-rgt1-in rem-cube-cbrt
3×cube-prod cube-mult unpow3
2×cbrt-div tan-sum cos-sum associate-+r-
1×rem-cbrt-cube rem-exp-log

localize436.0ms (0.7%)

bsearch27.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...