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

sample33.7s (64.3%)

Algorithm
22×intervals
Results
5.2s10945×body1280valid
2.7s72660×body80valid
2.0s6793×body640valid
870.0ms24768×pre80true
625.0ms2839×body320valid
215.0ms1342×body160valid
sampling

Space saved by range analysis: 30.413973%

Space saved by search: 30.413973%

Guaranteed chance to sample good point: 79.279891%

simplify5.6s (10.6%)

Algorithm
60×egg-herbie

prune5.0s (9.5%)

Filtered
2908 candidates to 1845 candidates (36.6%)

series3.7s (7.1%)

Calls

109 calls:

198.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (pow (* (tan y) (tan z)) 3)) (cos a)))
161.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
137.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
128.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
93.0ms
(sqrt (* 2.0 (pow x 2.0)))

regimes3.2s (6.2%)

Accuracy

Total 5.9b remaining (91.9%)

Threshold costs 2.1b (33.4%)

2.5b0%mixedcos
1.3b0%sqrt E
0.4b0%sqrt C
0.4b0%sqrt D
0.4b0%sqrt A

rewrite773.0ms (1.5%)

Algorithm
38×rewrite-expression-head
Calls

109 calls:

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
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
14.0ms
(* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
14.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
13.0ms
(* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
Rules
1023×add-exp-log
661×prod-exp
570×add-sqr-sqrt
464×pow1
427×*-un-lft-identity
389×add-cbrt-cube
369×add-cube-cbrt
219×associate-*l*
202×associate-*r*
179×sqrt-pow1
172×pow-prod-down
159×sqrt-prod
156×cbrt-prod
153×pow-exp
151×cbrt-unprod
150×pow-to-exp
139×add-log-exp
131×times-frac
99×unpow-prod-down
86×unswap-sqr
85×div-exp
71×tan-quot
56×associate-*l/
49×*-commutative
43×sqr-pow
40×associate-/r* associate-/l*
36×associate-/r/
34×cbrt-undiv pow1/2
33×frac-sub
32×sin-mult
30×flip-- pow-prod-up flip3--
26×distribute-lft-out
25×distribute-rgt-out
24×cos-mult
23×swap-sqr
22×frac-times pow-sqr
19×associate-*r/ pow1/3 div-inv
18×associate-/l/
16×clear-num frac-2neg distribute-lft-out--
15×difference-of-squares
14×flip-+ flip3-+
10×sub-div
9×cube-div pow-unpow sub-neg diff-log
7×frac-add sum-log pow-plus
6×pow2 sqrt-div pow-pow rem-cube-cbrt
5×+-commutative rem-sqrt-square distribute-lft1-in count-2 cube-prod cube-mult distribute-rgt1-in unpow3
4×cbrt-div associate-+r+
3×div-sub
2×tan-sum cos-sum associate-+r- rem-cbrt-cube
1×rem-square-sqrt sqrt-unprod inv-pow 1-exp rec-exp pow-flip

localize439.0ms (0.8%)

bsearch14.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...