Date:Thursday, July 2nd, 2020
Commit:4348ca69 on movability-off
Hostname:warfa with Racket 7.5
Seed:2020184
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.4min (66.7%)

Algorithm
56×intervals
Results
27.1s70088×body1280valid
18.8s17272×body2560valid
9.5s43736×body640valid
5.6s8819×body5120exit
3.5s87614×body80valid
3.0s21628×body320valid
2.5s2268×body1280nan
2.0s51764×body80nan
1.4s1816×body640nan
942.0ms10339×body160valid
723.0ms47203×pre80true
418.0ms938×body320nan
164.0ms441×body5120valid
108.0ms452×body160nan

prune20.0s (15.9%)

Filtered
10775 candidates to 7220 candidates (33.0%)

simplify7.6s (6.1%)

Algorithm
164×egg-herbie

series5.3s (4.2%)

Calls

363 calls:

251.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* a eps) (* eps (* (* a (* a eps)) (+ 1/2 (* (* eps 1/6) a))))) (- (exp (* b eps)) 1.0)))
216.0ms
(/ 1.0 (* (/ x 1.0) (* (/ (+ 1.0 x) 1.0) (+ (/ 1.0 (sqrt (+ 1.0 x))) (/ 1.0 (sqrt x))))))
122.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (log (pow (exp (tan x)) (tan eps))))) (tan x))
97.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
59.0ms
(/ (+ 0 (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b))

regimes3.9s (3.1%)

Accuracy

Total 17.8b remaining (27.9%)

Threshold costs 6.2b (9.7%)

3.4b0%expq3 (problem 3.4.2)
3.4b87.5%quad2m (problem 3.2.1, negative)
1.3b94.6%quad2p (problem 3.2.1, positive)
1.2b95%quadm (p42, negative)
1.1b89.2%2nthrt (problem 3.4.6)

rewrite3.2s (2.5%)

Algorithm
108×rewrite-expression-head
Calls

363 calls:

124.0ms
(/ (- (/ 1.0 (/ x 1.0)) (/ 1.0 (/ (+ 1.0 x) 1.0))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))
84.0ms
(- (/ 1.0 (/ x 1.0)) (/ 1.0 (/ (+ 1.0 x) 1.0)))
55.0ms
(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3))))
41.0ms
(/ 1.0 (* (/ x 1.0) (* (/ (+ 1.0 x) 1.0) (+ (/ 1.0 (sqrt (+ 1.0 x))) (/ 1.0 (sqrt x))))))
40.0ms
(* (/ x 1.0) (* (/ (+ 1.0 x) 1.0) (+ (/ 1.0 (sqrt (+ 1.0 x))) (/ 1.0 (sqrt x)))))
Rules
5924×*-un-lft-identity
5501×times-frac
4549×add-sqr-sqrt
2698×add-cube-cbrt
1699×sqrt-prod
1169×add-exp-log
1168×distribute-lft-out
1032×add-cbrt-cube
734×pow1
719×difference-of-squares
672×distribute-lft-out--
639×add-log-exp
454×associate-*l*
377×associate-*r*
368×div-inv
351×cbrt-prod associate-/l*
321×log-prod
300×prod-exp
296×associate-/r*
291×unpow-prod-down
252×cbrt-unprod
209×associate-/r/
196×div-exp
188×flip-+ flip3-+
183×associate-*r/
171×flip-- flip3--
169×cbrt-undiv
164×sqr-pow
153×pow-prod-down
146×unswap-sqr
132×pow-unpow
103×swap-sqr
92×sub-neg
82×diff-log
81×sqrt-div frac-times
75×*-commutative
72×distribute-rgt-in distribute-lft-in
69×cbrt-div clear-num frac-2neg
68×frac-add
67×sum-log
64×associate-*l/ distribute-rgt-out--
63×associate-+r+
60×pow1/3
58×associate-/l/
53×log-pow
46×sqrt-pow1 pow1/2
43×cube-prod
40×pow-exp
39×log-div
37×pow-to-exp
36×+-commutative
34×unpow2
33×tan-quot
32×rem-sqrt-square
27×exp-sum div-sub
23×pow-pow
21×associate-+l+ frac-sub
20×distribute-rgt-neg-in
19×rem-log-exp
17×associate--l+ exp-prod
16×pow-prod-up
14×pow-sqr
13×distribute-frac-neg
10×cube-mult unpow3
9×1-exp rec-exp
8×distribute-lft-neg-in
7×associate--l- neg-sub0 distribute-neg-in sin-mult associate--r+
6×pow2 pow-plus exp-diff sub0-neg
5×cos-mult pow-flip
4×neg-mul-1 associate-+l- rem-cube-cbrt
3×cos-sum inv-pow sub-div neg-log rem-exp-log
2×exp-neg tan-sum associate-+r- rem-square-sqrt sin-cos-mult sqrt-unprod sin-sum associate--r- distribute-rgt-neg-out
1×cube-div distribute-lft-neg-out diff-cos exp-to-pow diff-sin diff-atan un-div-inv distribute-neg-frac

localize1.2s (1.0%)

bsearch647.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...