Date:Thursday, July 16th, 2020
Commit:f7753480 on master
Hostname:warfa with Racket 7.5
Seed:2020198
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.7s (40.5%)

Algorithm
26×intervals
Results
8.4s6295×body5120exit
6.6s13916×body1280valid
3.1s78458×body80valid
2.7s9051×body640valid
1.5s3627×body1280nan
849.0ms24768×pre80true
848.0ms4023×body320valid
816.0ms2957×body640nan
305.0ms1645×body320nan
282.0ms1880×body160valid
181.0ms2018×body80invalid
86.0ms253×body640invalid
71.0ms152×body1280invalid
68.0ms594×body160nan
52.0ms190×body320invalid
31.0ms450×body80nan
21.0ms129×body160invalid
10.0ms128×body80overflowed
6.0ms3×body5120nan
4.0ms4×body2560nan

analyze21.9s (31.0%)

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

prune6.2s (8.8%)

Filtered
4006 candidates to 2225 candidates (44.5%)

simplify5.2s (7.3%)

Algorithm
72×egg-herbie

series4.1s (5.8%)

Calls

129 calls:

154.0ms
(/ (+ (* (+ (tan y) (tan z)) (cos a)) (* (sin a) (+ (* (tan y) (tan z)) -1))) (* (- 1 (* (tan y) (tan z))) (cos a)))
131.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
131.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
124.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
123.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

regimes2.9s (4.1%)

Accuracy

Total 7.5b remaining (7.5%)

Threshold costs 2.6b (2.6%)

4.9b22.8%mixedcos
0.4b0%sqrt C
0.4b97.6%sqrt D
0.4b97.6%sqrt E
0.3b0%rsin A

rewrite1.1s (1.5%)

Algorithm
46×rewrite-expression-head
Calls

129 calls:

26.0ms
(/ (cos (* 2.0 x)) (* (pow c (/ 2.0 2)) (* x (* (* x (pow s (/ 2.0 2))) (* (pow c (/ 2.0 2)) (pow s (/ 2.0 2)))))))
22.0ms
(/ (cos (* 2.0 x)) (* (pow c (/ 2.0 2)) (* x (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) (pow c (/ 2.0 2))))))
21.0ms
(* (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (* (sqrt (sqrt 2.0)) (* (pow x 1.0) (sqrt (sqrt (cbrt 2.0))))))
21.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
20.0ms
(* (pow c (/ 2.0 2)) (* x (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) (pow c (/ 2.0 2)))))
Rules
3770×add-exp-log
3225×prod-exp
814×pow-to-exp pow-exp
703×add-sqr-sqrt
588×add-cbrt-cube
559×*-un-lft-identity
510×add-cube-cbrt
375×associate-*r*
312×pow1
304×div-exp sqrt-prod
261×cbrt-unprod
251×associate-*l*
243×times-frac
164×add-log-exp
120×unpow-prod-down
94×pow-prod-down
82×cbrt-div unswap-sqr
79×cbrt-prod
63×*-commutative
60×associate-/r* associate-/l*
59×associate-*r/
44×cbrt-undiv associate-/r/
42×neg-sub0 exp-neg exp-diff sqr-pow
39×frac-times
38×sin-mult
36×associate-*l/
34×cube-prod
32×cos-mult
30×distribute-lft-neg-in distribute-rgt-neg-in
28×tan-quot
25×div-inv
22×flip-- flip3--
21×pow-unpow
20×frac-sub
19×clear-num frac-2neg
18×distribute-lft-out--
17×difference-of-squares
16×sub-div pow1/3
14×sqrt-pow1 distribute-rgt-neg-out
13×pow-pow
12×sub-neg flip-+ flip3-+ diff-log
11×associate-/l/
10×frac-add
9×pow1/2
8×sqrt-div distribute-lft-out
7×sum-log cube-mult unpow3
6×swap-sqr
4×distribute-lft-neg-out +-commutative neg-mul-1
3×associate-+r+ associate-+r- sqrt-pow2 1-exp
2×tan-sum cos-sum pow-sqr pow-prod-up rem-cube-cbrt
1×pow2 rem-sqrt-square pow-plus div-sub rem-cbrt-cube

localize508.0ms (0.7%)

bsearch121.0ms (0.2%)

end0.0ms (0.0%)

Profiling

Loading profile data...