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

sample19.9s (52.5%)

Algorithm
22×intervals
Results
4.7s10823×body1280valid
2.6s72676×body80valid
1.9s6847×body640valid
838.0ms24768×pre80true
595.0ms2906×body320valid
198.0ms1321×body160valid

simplify5.4s (14.3%)

Algorithm
60×egg-herbie

prune4.8s (12.8%)

Filtered
3018 candidates to 1876 candidates (37.8%)

series3.5s (9.2%)

Calls

109 calls:

143.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
124.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
119.0ms
(- (/ (/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (cos y) (cos z))) (- 1 (* (tan y) (tan z)))) (tan a))
118.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
118.0ms
(* (* r (sin b)) (* (/ 1 (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b))))) (+ (* (cos a) (cos b)) (* (sin a) (sin b)))))

regimes3.0s (8.0%)

Accuracy

Total 6.0b remaining (91.8%)

Threshold costs 2.2b (34.3%)

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

rewrite802.0ms (2.1%)

Algorithm
38×rewrite-expression-head
Calls

109 calls:

24.0ms
(* (/ 1 (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b))))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))
24.0ms
(* (* r (sin b)) (* (/ 1 (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b))))) (+ (* (cos a) (cos b)) (* (sin a) (sin b)))))
19.0ms
(- (/ (/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (cos y) (cos z))) (- 1 (* (tan y) (tan z)))) (tan a))
16.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
15.0ms
(* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
Rules
1117×add-exp-log
719×prod-exp
620×add-sqr-sqrt
530×pow1
459×*-un-lft-identity
441×add-cbrt-cube
395×add-cube-cbrt
273×associate-*l*
240×associate-*r*
206×pow-prod-down
185×cbrt-unprod
179×sqrt-pow1
159×times-frac sqrt-prod
147×pow-to-exp pow-exp
140×cbrt-prod
131×add-log-exp
97×div-exp
95×unswap-sqr
94×unpow-prod-down
59×*-commutative
53×associate-/r/
47×sin-mult
46×cos-mult
41×associate-/l*
38×sqr-pow
37×cbrt-undiv associate-/r*
36×associate-*r/
35×associate-*l/
34×pow1/2 pow-prod-up
30×tan-quot
27×frac-sub distribute-lft-out
26×pow-sqr
25×distribute-rgt-out
24×swap-sqr
20×frac-times div-inv difference-of-squares
19×flip-- flip3--
17×pow1/3 distribute-lft-out--
16×flip-+ flip3-+
15×clear-num frac-2neg
13×sub-div
12×associate-/l/
10×1-exp rec-exp
9×pow-plus
8×frac-add
7×pow2 sum-log
6×sqrt-div
5×distribute-rgt-in +-commutative rem-sqrt-square sub-neg distribute-lft-in distribute-lft1-in count-2 diff-log distribute-rgt1-in
4×associate-+r+
3×inv-pow un-div-inv pow-flip
2×tan-sum cos-sum associate-+r- div-sub
1×rem-square-sqrt sqrt-unprod

localize422.0ms (1.1%)

bsearch15.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...