Date:Tuesday, June 30th, 2020
Commit:8ccfdff1 on old-regraph
Hostname:debbie with Racket 7.7
Seed:2020182
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

simplify36.6s (57.1%)

sample14.6s (22.8%)

Algorithm
22×intervals
Results
4.8s11110×body1280valid
2.8s72493×body80valid
2.0s6840×body640valid
917.0ms24768×pre80true
597.0ms2805×body320valid
188.0ms1286×body160valid

prune4.5s (7.1%)

Filtered
2995 candidates to 1733 candidates (42.1%)

series3.9s (6.1%)

Calls

100 calls:

179.0ms
(/ (- (/ (* (+ (tan y) (tan z)) (cos a)) (- 1 (* (tan y) (tan z)))) (/ (sin a) 1)) (cos a))
175.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
148.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
145.0ms
(- (/ (* (+ (tan y) (tan z)) (cos a)) (- 1 (* (tan y) (tan z)))) (/ (sin a) 1))
141.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes3.0s (4.7%)

Accuracy

Total 2.8b remaining (47.8%)

Threshold costs 2.8b (47.8%)

0.4b0%sqrt D
0.4b0%sqrt E
0.4b0%sqrt C
0.4b0%rsin B
0.3b0%mixedcos

rewrite963.0ms (1.5%)

Algorithm
38×rewrite-expression-head
Calls

100 calls:

29.0ms
(* (/ r (* (+ (* (cos a) (cos b)) (* (sin a) (sin b))) (- (/ (* (cos a) (cos b)) (sin b)) (sin a)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))
26.0ms
(/ (cos (* 2.0 x)) (* (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2)))) (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))))
20.0ms
(/ (- (/ (* (+ (tan y) (tan z)) (cos a)) (- 1 (* (tan y) (tan z)))) (/ (sin a) 1)) (cos a))
19.0ms
(* (sqrt (sqrt (* x (+ x x)))) (sqrt (sqrt (* x (+ x x)))))
18.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
Rules
2175×add-exp-log
1608×prod-exp
607×add-sqr-sqrt
443×*-un-lft-identity
438×pow1
422×add-cbrt-cube
402×pow-exp
393×pow-to-exp
352×add-cube-cbrt
317×div-exp
250×sqrt-pow1
232×times-frac
190×associate-*l*
176×associate-*r*
170×sqrt-prod
162×cbrt-unprod
161×pow-prod-down
128×add-log-exp
67×unswap-sqr
60×unpow-prod-down
57×pow1/2
56×associate-/r/
54×cbrt-undiv associate-/r* associate-/l*
51×difference-of-squares
40×*-commutative
38×associate-*r/
37×distribute-lft-out--
36×associate-*l/ pow-prod-up
35×flip-- flip3--
34×sqrt-div cos-mult
31×tan-quot div-inv sin-mult
30×pow-unpow
29×frac-times
28×flip-+ flip3-+ sqr-pow
22×pow-sqr
19×frac-sub swap-sqr
18×clear-num frac-2neg
16×frac-add
14×associate-/l/
13×pow-pow
12×sub-neg
10×diff-log
8×cbrt-prod rem-sqrt-square sub-div
7×distribute-lft-out
5×sum-log
4×associate-+r+ sqrt-unprod unpow1/2
3×pow2 distribute-rgt-in +-commutative distribute-lft-in pow-plus 1-exp div-sub rec-exp
2×tan-sum cos-sum associate-+r- rem-square-sqrt
1×inv-pow pow-flip

localize382.0ms (0.6%)

bsearch24.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...