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

sample18.0s (49.2%)

Algorithm
22×intervals
Results
5.2s10803×body1280valid
2.8s72643×body80valid
2.0s6784×body640valid
836.0ms24768×pre80true
618.0ms2955×body320valid
408.0ms1386×body160valid
sampling

Space saved by range analysis: 30.413973%

Space saved by search: 30.413973%

Guaranteed chance to sample good point: 73.913043%

simplify5.6s (15.2%)

Algorithm
60×egg-herbie

prune5.1s (13.9%)

Filtered
2923 candidates to 1815 candidates (37.9%)

series3.6s (9.9%)

Calls

109 calls:

202.0ms
(pow (- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a)) 3)
125.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
120.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
120.0ms
(cbrt (pow (- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a)) 3))
119.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes2.9s (7.9%)

Accuracy

Total 5.9b remaining (91.2%)

Threshold costs 2.2b (33.6%)

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

rewrite778.0ms (2.1%)

Algorithm
38×rewrite-expression-head
Calls

109 calls:

25.0ms
(pow (- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a)) 3)
22.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a))
22.0ms
(cbrt (pow (- (/ (+ (tan y) (tan z)) (- 1 (cbrt (pow (* (tan y) (tan z)) 3)))) (tan a)) 3))
15.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)))
Rules
1038×add-exp-log
669×prod-exp
604×add-sqr-sqrt
453×*-un-lft-identity
432×pow1
384×add-cube-cbrt
380×add-cbrt-cube
210×associate-*l*
207×associate-*r*
183×cbrt-prod
179×sqrt-pow1
159×sqrt-prod
158×pow-prod-down
156×pow-exp
153×pow-to-exp
147×cbrt-unprod
146×times-frac
137×add-log-exp
118×unpow-prod-down
89×div-exp
83×unswap-sqr
48×sqr-pow
46×*-commutative
38×associate-/r*
36×associate-/l*
35×associate-/r/
34×pow1/2 tan-quot
32×cbrt-undiv
28×sin-mult
26×pow-prod-up distribute-lft-out
25×distribute-rgt-out difference-of-squares
24×cube-prod
22×pow1/3 swap-sqr
21×cube-div cos-mult distribute-lft-out--
19×flip-- flip3--
18×pow-unpow pow-sqr div-inv
17×frac-sub
14×clear-num frac-2neg
13×associate-*r/
11×cbrt-div
10×sub-div cube-mult unpow3
9×pow-pow rem-cube-cbrt
8×sub-neg flip-+ flip3-+ diff-log
7×sum-log 1-exp rec-exp
6×sqrt-div associate-*l/ frac-times
5×pow2 +-commutative rem-sqrt-square distribute-lft1-in pow-plus count-2 distribute-rgt1-in rem-cbrt-cube
4×associate-+r+
3×inv-pow un-div-inv pow-flip
2×tan-sum cos-sum associate-+r- associate-/l/
1×frac-add rem-square-sqrt sqrt-unprod div-sub

localize584.0ms (1.6%)

bsearch15.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...