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

simplify1.4min (76.2%)

sample14.1s (12.7%)

Algorithm
22×intervals
Results
4.7s11110×body1280valid
2.7s72493×body80valid
1.9s6840×body640valid
853.0ms24768×pre80true
565.0ms2805×body320valid
188.0ms1286×body160valid

prune4.3s (3.8%)

Filtered
2995 candidates to 1732 candidates (42.2%)

series3.9s (3.5%)

Calls

100 calls:

250.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2))))))
170.0ms
(/ (- (/ (* (+ (tan y) (tan z)) (cos a)) (- 1 (* (tan y) (tan z)))) (/ (sin a) 1)) (cos a))
161.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
139.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
139.0ms
(- (/ (* (+ (tan y) (tan z)) (cos a)) (- 1 (* (tan y) (tan z)))) (/ (sin a) 1))

regimes2.8s (2.5%)

Accuracy

Total 2.8b remaining (47.7%)

Threshold costs 2.8b (47.7%)

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

rewrite947.0ms (0.9%)

Algorithm
38×rewrite-expression-head
Calls

100 calls:

27.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))))
25.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))))))
22.0ms
(/ (- (/ (* (+ (tan y) (tan z)) (cos a)) (- 1 (* (tan y) (tan z)))) (/ (sin a) 1)) (cos a))
18.0ms
(* (sqrt (sqrt (* x (+ x x)))) (sqrt (sqrt (* x (+ x x)))))
17.0ms
(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s (/ 2.0 2))) (* x (pow s (/ 2.0 2))))))
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

localize377.0ms (0.3%)

bsearch24.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...