Date:Tuesday, July 21st, 2020
Commit:e15f1dc1 on master
Hostname:warfa with Racket 7.5
Seed:2020203
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

sample1.2min (56.9%)

Algorithm
56×intervals
Results
26.8s69593×body1280valid
18.5s17136×body2560valid
9.4s43873×body640valid
3.0s21476×body320valid
3.0s68222×body80valid
1.3s1157×body1280nan
947.0ms10429×body160valid
666.0ms950×body640nan
666.0ms42992×pre80true
523.0ms3087×body80overflowed
272.0ms629×body1280overflowed
201.0ms471×body320nan
194.0ms272×body640invalid
176.0ms3648×body80nan
171.0ms439×body5120valid
138.0ms109×body1280invalid
119.0ms184×body2560overflowed
107.0ms370×body640overflowed
97.0ms1597×body80invalid
73.0ms180×body320invalid
49.0ms216×body160nan
39.0ms185×body320overflowed
22.0ms93×body160invalid
13.0ms91×body160overflowed
4.0ms3×body2560invalid

prune18.1s (14.5%)

Filtered
9806 candidates to 6623 candidates (32.5%)

analyze10.5s (8.4%)

Algorithm
28×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.6%22.3%7
49.9%27.4%22.7%8
51.1%25.4%23.5%9
51.5%24.3%24.2%10
52.4%22.9%24.7%11
53.2%21.5%25.2%12
53.5%20.9%25.6%13
53.9%20.1%26%14

simplify8.6s (6.9%)

Algorithm
165×egg-herbie

series7.7s (6.2%)

Calls

359 calls:

634.0ms
(* eps (/ (- (pow (exp (+ a b)) eps) 1.0) (* (- (pow (exp a) eps) 1.0) (* eps (+ (log 1) (+ b (* eps (* 1/2 (pow (log 1) 2)))))))))
634.0ms
(/ (* eps (- (pow (exp (+ a b)) eps) 1.0)) (* (- (pow (exp a) eps) 1.0) (* eps (+ (log 1) (+ b (* eps (* 1/2 (pow (log 1) 2))))))))
586.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan x) (tan eps)) 3))) (+ (* 1 1) (+ (* (* (tan x) (tan eps)) (* (tan x) (tan eps))) (* 1 (* (tan x) (tan eps)))))) (tan x))
508.0ms
(pow (pow (exp (cbrt (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))) (cbrt (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))) (cbrt (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
329.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (* (tan x) (* (tan eps) (tan eps)))))) (+ 1 (* (tan x) (tan eps)))) (tan x))

regimes4.2s (3.4%)

Accuracy

Total 23.2b remaining (18%)

Threshold costs 6.0b (4.6%)

4.9b82.8%quadp (p42, positive)
4.4b84.4%quad2p (problem 3.2.1, positive)
2.6b63%2tan (problem 3.3.2)
1.6b57.7%expq3 (problem 3.4.2)
1.5b86.6%2nthrt (problem 3.4.6)

rewrite2.8s (2.3%)

Algorithm
109×rewrite-expression-head
Calls

359 calls:

34.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
31.0ms
(+ (/ 1.0 N) (- (/ 0.3333333333333333 (pow N 3)) (/ 0.5 (* N N))))
31.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
29.0ms
(/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
28.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
Rules
3581×*-un-lft-identity
3107×add-sqr-sqrt
2442×times-frac
1855×add-cube-cbrt
1357×sqrt-prod
1102×add-exp-log
950×add-cbrt-cube
726×pow1
616×add-log-exp
578×difference-of-squares
550×distribute-lft-out
389×log-prod
381×distribute-lft-out--
343×unpow-prod-down
320×cbrt-prod
309×associate-/r*
295×associate-/l*
273×prod-exp
236×associate-*r*
217×cbrt-unprod
210×associate-*l*
209×flip-- flip3--
203×div-exp
185×associate-/r/
167×flip-+ flip3-+
161×associate-*r/
159×cbrt-undiv
143×sqr-pow
138×sqrt-div
133×pow-prod-down
125×div-inv
118×exp-prod
110×log-pow
99×sub-neg
91×cube-prod
90×diff-log
84×tan-quot
82×unswap-sqr
78×frac-times
74×pow-pow
73×pow-unpow
72×associate-+r+
70×cbrt-div
65×pow1/3
62×clear-num frac-2neg
60×associate-*l/
57×*-commutative
56×distribute-rgt-in distribute-lft-in
54×associate-/l/
48×sqrt-pow1
47×exp-sum
46×sum-log pow1/2
43×log-div
40×swap-sqr
38×pow-exp
34×pow-to-exp
30×rem-log-exp
28×frac-add rem-sqrt-square
26×+-commutative
25×frac-sub
21×distribute-rgt-neg-in
18×1-exp div-sub rec-exp
17×associate--l+
16×cube-mult pow-prod-up
15×associate-+l+ unpow3
14×pow-sqr
13×exp-diff
9×cube-div
8×rem-cube-cbrt
7×pow-plus
6×associate--l- pow2 pow-flip
5×neg-sub0 inv-pow
4×unpow-prod-up sqrt-unprod associate-+l- associate--r+ rem-exp-log
3×associate-+r- sin-sum neg-log rem-cbrt-cube sin-mult unpow2
2×exp-neg tan-sum cos-sum distribute-frac-neg distribute-rgt-neg-out
1×difference-cubes rem-square-sqrt diff-cos sin-cos-mult exp-to-pow sub-div diff-sin diff-atan un-div-inv distribute-rgt-out--

localize1.3s (1.0%)

bsearch578.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...