Date:Friday, July 17th, 2020
Commit:5d628957 on release-1.4
Hostname:warfa with Racket 7.5
Seed:2020199
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.8s (40.4%)

Algorithm
26×intervals
Results
8.7s6417×body5120exit
6.6s13757×body1280valid
3.0s78447×body80valid
2.7s9208×body640valid
1.6s3756×body1280nan
875.0ms4054×body320valid
849.0ms24768×pre80true
819.0ms2979×body640nan
290.0ms1862×body160valid
276.0ms1494×body320nan
175.0ms2053×body80invalid
84.0ms248×body640invalid
71.0ms141×body1280invalid
62.0ms535×body160nan
41.0ms177×body320invalid
28.0ms458×body80nan
19.0ms115×body160invalid
10.0ms153×body80overflowed
4.0ms2×body5120nan

analyze22.8s (32.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

prune5.7s (8.0%)

Filtered
4122 candidates to 2332 candidates (43.4%)

simplify5.3s (7.5%)

Algorithm
72×egg-herbie

series4.0s (5.7%)

Calls

126 calls:

133.0ms
(+ x (- (* (+ (tan y) (tan z)) (/ 1 (- 1 (* (tan y) (tan z))))) (tan a)))
131.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
128.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a)))
124.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a))
122.0ms
(- (* (+ (tan y) (tan z)) (/ 1 (- 1 (* (tan y) (tan z))))) (tan a))

regimes2.9s (4.0%)

Accuracy

Total 7.6b remaining (10.7%)

Threshold costs 3.0b (4.2%)

4.6b30.5%mixedcos
0.5b0%exp-w crasher
0.4b0%sqrt C
0.4b0%sqrt D
0.3b0%rsin A

rewrite1.2s (1.6%)

Algorithm
46×rewrite-expression-head
Calls

126 calls:

38.0ms
(* (/ (pow (sqrt l) (exp w)) (* (* (cbrt (exp w)) (cbrt (sqrt (exp w)))) (cbrt (sqrt (exp w))))) (/ (pow (sqrt l) (exp w)) (cbrt (exp w))))
33.0ms
(* (/ (pow (sqrt l) (exp w)) (* (cbrt (exp w)) (cbrt (exp w)))) (/ (pow (sqrt l) (exp w)) (cbrt (exp w))))
24.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)))))))
23.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
(* (pow c (/ 2.0 2)) (* x (* (* x (pow s (/ 2.0 2))) (* (pow c (/ 2.0 2)) (pow s (/ 2.0 2))))))
Rules
3881×add-exp-log
3233×prod-exp
952×add-sqr-sqrt
824×pow-to-exp pow-exp
637×*-un-lft-identity
567×add-cube-cbrt
565×add-cbrt-cube
463×associate-*r*
441×times-frac
406×div-exp
328×pow1
301×sqrt-prod
285×unpow-prod-down
264×cbrt-prod
260×cbrt-unprod
250×associate-*l*
177×add-log-exp
151×unswap-sqr
103×pow-prod-down
87×sqr-pow
60×cbrt-undiv
57×*-commutative
55×associate-/l*
48×associate-/r*
33×associate-/r/
30×tan-quot difference-of-squares
28×div-inv
26×sin-mult distribute-lft-out--
24×flip-- flip3--
22×frac-sub
21×distribute-lft-neg-in distribute-rgt-neg-in swap-sqr cos-mult
19×sub-neg pow1/3 diff-log
18×clear-num frac-2neg
17×sqrt-pow1
16×pow1/2
15×pow-unpow exp-prod
14×log-prod distribute-rgt-neg-out
13×pow-pow
12×associate-*r/ distribute-lft-out
10×sub-div
9×sum-log flip-+ flip3-+ log-pow
8×associate-*l/
7×rem-sqrt-square frac-times associate--l+
6×distribute-lft-neg-out rem-log-exp associate-/l/
5×exp-sum +-commutative pow-prod-up
4×frac-add associate-+r+ associate-+r- sqrt-pow2 pow-sqr rem-exp-log
3×neg-mul-1 pow-plus
2×pow2 tan-sum cos-sum sqrt-unprod sqrt-div cube-prod exp-diff
1×div-sub pow3 un-div-inv unpow2

localize528.0ms (0.7%)

bsearch31.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...