Date:Saturday, May 9th, 2020
Commit:05e10696 on master
Hostname:warfa with Racket 7.5
Seed:2020130
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.9m (55.8%)

Algorithm
56×intervals
16×halfpoints
Results
25.5s67428×body1280valid
18.7s17476×body2560valid
9.0s42366×body640valid
3.6s92119×body80valid
2.9s20808×body320valid
2.4s65474×body80nan
1.3s1159×body1280nan
1.1s15643×body80overflowed
958.0ms10714×body160valid
721.0ms47199×pre80true
681.0ms974×body640nan
216.0ms511×body320nan
176.0ms453×body5120valid
45.0ms206×body160nan

series42.7s (21.0%)

Calls

407 calls:

1.2s
(cbrt (* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))))
1.2s
(* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))
973.0ms
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
961.0ms
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
959.0ms
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))

prune26.9s (13.3%)

Filtered
12280 candidates to 8005 candidates (65.2%)

simplify10.3s (5.1%)

Algorithm
195×egg-herbie

rewrite3.6s (1.8%)

Algorithm
123×rewrite-expression-head
Calls

407 calls:

37.0ms
(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))
36.0ms
(* -2/3 (/ (pow eps 3) (pow 1.0 3)))
35.0ms
(- (/ (+ (tan x) (tan eps)) (/ (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps)))) (+ 1 (* (tan x) (tan eps))))) (tan x))
35.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
33.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
4799×add-sqr-sqrt
4576×*-un-lft-identity
3964×times-frac
2649×add-cube-cbrt
1259×add-exp-log
980×add-cbrt-cube
914×sqrt-prod
852×difference-of-squares
821×pow1
749×add-log-exp
684×unpow-prod-down
652×associate-*r*
622×distribute-lft-out--
518×cbrt-prod
502×associate-*l*
441×associate-/l*
378×cube-prod
365×distribute-lft-out
320×prod-exp
318×log-prod
317×associate-/r*
286×sqr-pow
271×flip3-- flip--
255×unswap-sqr
231×div-exp
191×cbrt-unprod
177×flip-+ flip3-+
176×log-pow
174×associate-*l/ associate-/r/
171×div-inv
165×cbrt-undiv
156×exp-prod
152×associate-*r/
151×sub-neg
135×pow-prod-down
133×diff-log
120×pow-unpow
116×frac-times
114×distribute-rgt-neg-in
112×swap-sqr
108×cbrt-div
107×sqrt-pow1
98×sqrt-div
94×pow-exp
92×associate-/l/
88×pow-to-exp
77×*-commutative
67×frac-2neg clear-num
63×pow1/2
62×unpow2
58×pow1/3 tan-quot
56×distribute-rgt-in distribute-lft-in
54×sum-log exp-sum
53×unpow3 cube-mult
51×frac-add
50×log-div
39×pow-pow
38×pow-prod-up
34×frac-sub associate--l+
32×rem-sqrt-square pow-sqr
30×associate--r+
29×+-commutative sin-mult
28×cos-mult
27×1-exp rem-log-exp
26×cube-div rec-exp
24×complex-mul-def
23×associate-+l+
20×div-sub
18×exp-diff
17×associate-+r+
16×associate--l-
15×neg-sub0
14×pow-plus
12×pow2
10×rem-cube-cbrt neg-log
8×sub-div associate-+l-
7×pow-flip
6×*.c-commutative exp-to-pow
5×distribute-lft-neg-in un-div-inv rem-exp-log sqrt-unprod inv-pow rem-cbrt-cube
4×sum-cubes +.c-commutative complex-add-def
3×associate-+r- exp-neg distribute-rgt-out-- difference-of-sqr-1 neg-mul-1
2×cos-sum difference-cubes difference-of-sqr--1 associate-+l+.c associate--r- rem-square-sqrt associate-*l*.c tan-sum frac-2neg.c distribute-neg-frac sin-sum
1×sub0-neg diff-atan sin-cos-mult diff-cos distribute-frac-neg distribute-rgt-neg-out diff-sin

regimes3.1s (1.5%)

Accuracy

Total 23.6b remaining (10.6%)

Threshold costs 6.6b (2.9%)

3.3b0%expq3 (problem 3.4.2)
3.1b88.3%quad2p (problem 3.2.1, positive)
3.1b89%quadm (p42, negative)
1.9b83.1%2nthrt (problem 3.4.6)
1.6b83.2%2cos (problem 3.3.5)

localize1.8s (0.9%)

bsearch1.4s (0.7%)

end1.0ms (0.0%)

Profiling

Loading profile data...