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

sample14.7s (45.9%)

Algorithm
22×intervals
Results
4.9s11110×body1280valid
2.8s72493×body80valid
2.0s6840×body640valid
952.0ms24768×pre80true
597.0ms2805×body320valid
201.0ms1286×body160valid

prune6.2s (19.4%)

Filtered
3619 candidates to 2111 candidates (41.7%)

series4.4s (13.7%)

Calls

110 calls:

146.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
145.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a)))
138.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
135.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a))
135.0ms
(/ (* (sin b) r) (/ (- (* (cos b) (* (cos b) (* (cos a) (cos a)))) (* (sin b) (* (sin b) (* (sin a) (sin a))))) (+ (* (cos b) (cos a)) (* (sin b) (sin a)))))

regimes3.0s (9.4%)

Accuracy

Total 4.7b remaining (78.7%)

Threshold costs 2.6b (44.2%)

2.1b0%mixedcos
0.4b0%sqrt B
0.4b0%sqrt C
0.4b0%rsin B
0.4b0%rsin A

simplify2.1s (6.6%)

Algorithm
60×egg-herbie

rewrite1.1s (3.5%)

Algorithm
38×rewrite-expression-head
Calls

110 calls:

27.0ms
(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (* (fabs x) (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0))))) (cbrt (cbrt (sqrt 2.0)))))
27.0ms
(/ (cos (* 2.0 x)) (* (* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2)))) (* x (* (pow s (/ 2.0 2)) (pow c (/ 2.0 2))))))
25.0ms
(* (sqrt 2.0) (sqrt (pow (/ 1 (pow (pow x (neg 2.0)) 1.0)) 1.0)))
24.0ms
(* (sqrt 2) (sqrt (pow (/ 1 (pow (pow x (neg 2.0)) 1.0)) 1.0)))
21.0ms
(/ (- (* (cos b) (* (cos b) (* (cos a) (cos a)))) (* (sin b) (* (sin b) (* (sin a) (sin a))))) (+ (* (cos b) (cos a)) (* (sin b) (sin a))))
Rules
2101×add-exp-log
1474×prod-exp
877×add-sqr-sqrt
663×*-un-lft-identity
590×unpow-prod-down
586×add-cube-cbrt
576×times-frac
512×pow1
486×add-cbrt-cube
401×pow-exp
368×pow-to-exp
364×sqrt-prod
328×div-exp
280×associate-*r*
258×sqrt-pow1
203×pow-prod-down
202×cbrt-unprod
160×associate-*l*
142×add-log-exp
110×sqr-pow
107×unswap-sqr
104×associate-/r*
71×cbrt-undiv
65×pow1/2 associate-/l*
64×pow-unpow
42×associate-/r/
40×associate-*r/
38×*-commutative
37×pow-prod-up div-inv
34×sqrt-div
29×rem-sqrt-square
27×sin-mult
25×1-exp rec-exp
23×cbrt-prod clear-num pow-sqr cos-mult frac-2neg
22×swap-sqr
19×flip-- flip3--
18×distribute-lft-out--
17×flip-+ flip3-+ difference-of-squares
15×pow-pow
14×log-prod
13×frac-sub
12×distribute-lft-neg-in distribute-rgt-neg-in tan-quot
11×sub-neg diff-log
9×sub-div
7×sum-log sqrt-unprod associate-/l/ frac-times distribute-lft-out associate--r+
6×associate-+r+ associate-*l/ pow-flip
5×inv-pow
4×pow2 distribute-rgt-in neg-sub0 frac-add +-commutative sqr-cos neg-mul-1 distribute-lft-in pow-plus unpow1/2 pow-neg pow-sub
3×rem-log-exp associate-+r-
2×tan-sum cos-sum rem-square-sqrt div-sub
1×log-pow sqr-sin

localize435.0ms (1.4%)

bsearch15.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...