Date:Thursday, July 16th, 2020
Commit:2fc654f8 on release-1.4
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.8s (41.4%)

Algorithm
26×intervals
Results
8.6s6295×body5120exit
6.5s13916×body1280valid
3.1s78458×body80valid
2.6s9051×body640valid
1.5s3627×body1280nan
850.0ms4023×body320valid
822.0ms24768×pre80true
802.0ms2957×body640nan
292.0ms1645×body320nan
277.0ms1880×body160valid
176.0ms2018×body80invalid
89.0ms253×body640invalid
73.0ms594×body160nan
69.0ms152×body1280invalid
44.0ms190×body320invalid
27.0ms450×body80nan
21.0ms129×body160invalid
9.0ms128×body80overflowed
6.0ms3×body5120nan
4.0ms4×body2560nan

analyze21.5s (30.9%)

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.8s (8.3%)

Filtered
4006 candidates to 2225 candidates (44.5%)

simplify5.0s (7.2%)

Algorithm
72×egg-herbie

series4.0s (5.8%)

Calls

129 calls:

149.0ms
(/ (+ (* (+ (tan y) (tan z)) (cos a)) (* (sin a) (+ (* (tan y) (tan z)) -1))) (* (- 1 (* (tan y) (tan z))) (cos a)))
128.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
126.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
121.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
120.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))

regimes2.8s (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.6%)

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 s (/ 2.0 2))) (pow c (/ 2.0 2))))))
23.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)))))))
21.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
19.0ms
(* (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (* (sqrt (sqrt 2.0)) (* (pow x 1.0) (sqrt (sqrt (cbrt 2.0))))))
18.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
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

localize512.0ms (0.7%)

bsearch119.0ms (0.2%)

end0.0ms (0.0%)

Profiling

Loading profile data...