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

simplify42.1s (61.1%)

sample14.4s (20.9%)

Algorithm
22×intervals
Results
4.9s11110×body1280valid
2.7s72493×body80valid
1.9s6840×body640valid
863.0ms24768×pre80true
589.0ms2805×body320valid
187.0ms1286×body160valid

prune4.5s (6.5%)

Filtered
2969 candidates to 1716 candidates (42.2%)

series3.7s (5.4%)

Calls

101 calls:

179.0ms
(/ (- (/ (* (+ (tan y) (tan z)) (cos a)) (- 1 (* (tan y) (tan z)))) (/ (sin a) 1)) (cos a))
169.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
147.0ms
(- (/ (* (+ (tan y) (tan z)) (cos a)) (- 1 (* (tan y) (tan z)))) (/ (sin a) 1))
145.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
137.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes2.9s (4.2%)

Accuracy

Total 3.0b remaining (51.8%)

Threshold costs 3.0b (51.8%)

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

rewrite900.0ms (1.3%)

Algorithm
38×rewrite-expression-head
Calls

101 calls:

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))))))
23.0ms
(/ (- (/ (* (+ (tan y) (tan z)) (cos a)) (- 1 (* (tan y) (tan z)))) (/ (sin a) 1)) (cos a))
19.0ms
(/ r (- (/ 1 (/ (sin b) (* (cos b) (cos a)))) (sin a)))
19.0ms
(* (sqrt (sqrt (* x (+ x x)))) (sqrt (sqrt (* x (+ x x)))))
17.0ms
(- (/ 1 (/ (sin b) (* (cos b) (cos a)))) (sin a))
Rules
2182×add-exp-log
1612×prod-exp
609×add-sqr-sqrt
450×*-un-lft-identity
446×pow1
412×add-cbrt-cube
404×pow-exp
394×pow-to-exp
361×add-cube-cbrt
318×div-exp
251×sqrt-pow1
234×times-frac
170×associate-*l*
168×associate-*r*
167×sqrt-prod
162×pow-prod-down
160×cbrt-unprod
127×add-log-exp
73×unpow-prod-down
65×unswap-sqr
58×pow1/2
53×associate-/r*
51×cbrt-undiv associate-/l*
50×difference-of-squares
38×*-commutative pow-prod-up
36×distribute-lft-out--
34×sqrt-div associate-/r/
33×cbrt-prod pow-unpow
31×tan-quot
30×div-inv
29×associate-*r/ sqr-pow
26×associate-*l/
25×swap-sqr
24×pow-sqr
22×flip-- flip3--
21×cos-mult
18×frac-sub
17×clear-num flip-+ flip3-+ frac-2neg sin-mult
14×associate-/l/ pow-pow
9×sub-neg pow1/3 diff-log
8×rem-sqrt-square frac-times
7×sub-div distribute-lft-out
6×1-exp rec-exp
5×frac-add sum-log
4×pow2 associate-+r+ pow-plus sqrt-unprod unpow1/2
3×+-commutative div-sub
2×tan-sum cos-sum associate-+r- rem-square-sqrt inv-pow pow-flip
1×un-div-inv

localize389.0ms (0.6%)

bsearch27.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...