Date:Friday, July 10th, 2020
Commit:a8193a33 on movability-off
Hostname:warfa with Racket 7.5
Seed:2020192
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample28.1s (40.9%)

Algorithm
26×intervals
Results
8.5s6447×body5120exit
6.5s13935×body1280valid
2.9s78321×body80valid
2.7s9235×body640valid
1.5s3643×body1280nan
832.0ms4029×body320valid
826.0ms24768×pre80true
812.0ms3005×body640nan
275.0ms1470×body320nan
262.0ms1808×body160valid
176.0ms2050×body80invalid
85.0ms256×body640invalid
69.0ms584×body160nan
67.0ms149×body1280invalid
43.0ms181×body320invalid
29.0ms486×body80nan
15.0ms93×body160invalid
4.0ms4×body2560nan
2.0ms1×body5120nan

analyze21.4s (31.2%)

Algorithm
13×search
Search
TrueOtherFalseIter
0%76.9%23.1%0
0%76.9%23.1%1
0%76.9%23.1%2
25%51.9%23.1%3
34.6%42.3%23.1%4
39.9%37%23.1%5
42.3%33.9%23.8%6
45.6%30.4%24%7
47.2%28.4%24.4%8
49%26.5%24.5%9
50.8%24.3%24.9%10
51.4%23.5%25.1%11
52.1%22.5%25.4%12
52.8%21.6%25.6%13
53%21%25.9%14

simplify5.3s (7.8%)

Algorithm
72×egg-herbie

prune5.2s (7.5%)

Filtered
3791 candidates to 2208 candidates (41.8%)

series4.3s (6.2%)

Calls

124 calls:

410.0ms
(- (* (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (* (tan y) (* (tan z) (tan z)))))) (+ 1 (* (tan y) (tan z)))) (tan a))
150.0ms
(/ (+ (* (+ (tan y) (tan z)) (cos a)) (* (sin a) (+ (* (tan y) (tan z)) -1))) (* (- 1 (* (tan y) (tan z))) (cos a)))
127.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
119.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
84.0ms
(* (pow x 1.0) (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0)))))

regimes2.8s (4.0%)

Accuracy

Total 4.8b remaining (5%)

Threshold costs 2.5b (2.6%)

2.3b0%mixedcos
0.4b0%sqrt C
0.3b0%rsin B
0.3b0%rsin A
0.3b98%sqrt D

rewrite1.1s (1.5%)

Algorithm
46×rewrite-expression-head
Calls

124 calls:

35.0ms
(- (/ (cos b) (/ (sin b) (cos a))) (/ (sin a) 1))
35.0ms
(/ r (- (/ (cos b) (/ (sin b) (cos a))) (/ (sin a) 1)))
23.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))))))
21.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)))))
20.0ms
(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (* (pow x 1.0) (* (cbrt (cbrt (sqrt 2.0))) (cbrt (cbrt (sqrt 2.0))))) (cbrt (cbrt (sqrt 2.0)))))
Rules
2781×add-exp-log
2194×prod-exp
922×add-sqr-sqrt
616×*-un-lft-identity
566×add-cbrt-cube
523×add-cube-cbrt
510×pow-to-exp pow-exp
390×times-frac
382×pow1
347×associate-*r*
294×cbrt-unprod
257×div-exp
219×associate-*l*
211×sqrt-prod
183×unpow-prod-down
151×add-log-exp
126×pow-prod-down
121×unswap-sqr
98×cbrt-prod
67×associate-/r*
61×*-commutative
60×difference-of-squares
59×sqr-pow
55×associate-/l*
50×tan-quot
49×cbrt-undiv
40×log-prod
36×associate-/r/
28×div-inv
27×associate-*r/ pow-unpow
26×distribute-lft-out--
25×associate-*l/
23×swap-sqr exp-prod
22×flip-- flip3--
21×pow-pow
19×sin-mult
18×frac-sub clear-num log-pow frac-2neg
16×cbrt-div frac-times cos-mult
14×sqrt-pow1
13×flip-+ flip3-+ associate-/l/
11×sub-neg diff-log
10×exp-sum frac-add pow1/3
9×neg-sub0 exp-neg pow1/2 pow-sqr pow-prod-up distribute-lft-out exp-diff
8×sub-div
7×rem-log-exp associate--r+
5×pow2 pow-plus
4×sum-log
3×1-exp
2×+-commutative rem-sqrt-square tan-sum cos-sum associate-+r+ associate-+r- sqrt-pow2 sqrt-div associate--l+ rem-exp-log
1×distribute-rgt-in distribute-lft-in div-sub

localize487.0ms (0.7%)

bsearch55.0ms (0.1%)

end0.0ms (0.0%)

Profiling

Loading profile data...