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.4hr (99.4%)

sample15.0s (0.3%)

Algorithm
22×intervals
Results
5.2s11110×body1280valid
2.8s72493×body80valid
2.0s6840×body640valid
902.0ms24768×pre80true
600.0ms2805×body320valid
192.0ms1286×body160valid

prune4.9s (0.1%)

Filtered
2656 candidates to 1861 candidates (29.9%)

series3.7s (0.1%)

Calls

100 calls:

181.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
178.0ms
(/ (- (cbrt (pow (* (+ (tan y) (tan z)) (cos a)) 3)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
150.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
142.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
115.0ms
(pow (* 2.0 (pow x 2.0)) 1/2)

regimes2.9s (0.1%)

Accuracy

Total 5.2b remaining (90.5%)

Threshold costs 2.4b (42.1%)

2.8b-7.2%mixedcos
0.4b0%sqrt D
0.4b0%sqrt E
0.4b0%sqrt C
0.3b0%rsin B

rewrite850.0ms (0.0%)

Algorithm
38×rewrite-expression-head
Calls

100 calls:

22.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
19.0ms
(* (sqrt (sqrt (* x (+ x x)))) (sqrt (sqrt (* x (+ x x)))))
18.0ms
(/ (- (cbrt (pow (* (+ (tan y) (tan z)) (cos a)) 3)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
17.0ms
(* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
17.0ms
(* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
Rules
873×add-exp-log
546×add-sqr-sqrt
539×prod-exp
438×pow1
413×*-un-lft-identity
361×add-cube-cbrt
326×add-cbrt-cube
250×sqrt-pow1
199×associate-*r*
192×times-frac
170×sqrt-prod
169×associate-*l*
163×pow-prod-down
150×pow-exp
131×pow-to-exp
126×add-log-exp
105×cbrt-unprod
91×div-exp
74×unpow-prod-down
66×unswap-sqr
57×pow1/2
50×associate-/r*
47×associate-/l*
43×associate-*l/
39×*-commutative
38×associate-/r/
37×tan-quot
36×cbrt-undiv pow-unpow
35×pow-prod-up sqr-pow
34×sqrt-div
31×associate-*r/
28×flip-- flip3--
25×frac-sub
24×sin-mult
22×cos-mult div-inv
21×pow-sqr distribute-lft-out--
20×flip-+ flip3-+ difference-of-squares
19×associate-/l/
18×swap-sqr
17×clear-num frac-2neg
16×cbrt-prod pow-pow
12×cube-div
10×sub-div
9×cbrt-div sub-neg diff-log
8×frac-add rem-sqrt-square frac-times
6×distribute-lft-out
5×sum-log unpow2
4×associate-+r+ sqrt-unprod unpow1/2
3×+-commutative 1-exp div-sub rec-exp
2×pow2 tan-sum cos-sum associate-+r- rem-square-sqrt pow-plus cube-prod cube-mult unpow3 rem-cube-cbrt
1×inv-pow pow1/3 un-div-inv rem-cbrt-cube pow-flip

localize425.0ms (0.0%)

bsearch28.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...