Date:Wednesday, June 10th, 2020
Commit:646ba792 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

sample42.3s (68.9%)

Algorithm
22×intervals
Results
5.1s10830×body1280valid
2.5s69545×body80valid
1.9s6608×body640valid
870.0ms24768×pre80true
545.0ms2628×body320valid
182.0ms1205×body160valid
125.0ms1370×body80invalid
81.0ms239×body640invalid
69.0ms151×body1280invalid
45.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: 76.098802%

prune5.5s (9.0%)

Filtered
2981 candidates to 1894 candidates (36.5%)

simplify5.2s (8.5%)

Algorithm
60×egg-herbie

series3.7s (6.0%)

Calls

107 calls:

179.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (pow (* (tan y) (tan z)) 3)) (cos a)))
145.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
125.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
117.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.4s (5.5%)

Accuracy

Total 4.9b remaining (89.1%)

Threshold costs 2.4b (44.3%)

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)) (cbrt (sqrt 2))) (* (* (cbrt (cbrt (sqrt 2))) (cbrt (cbrt (sqrt 2)))) (* (cbrt (cbrt (sqrt 2))) (fabs x))))
20.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))))
18.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))))
17.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
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
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

localize440.0ms (0.7%)

bsearch25.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...