Date:Thursday, February 27th, 2020
Commit:17a4275c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020058
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample1.8m (46.7%)

Algorithm
56×intervals
16×halfpoints
Results
24.3s67169×body1280valid
16.8s17413×body2560valid
8.3s41524×body640valid
3.9s12730×body10240exit
2.9s93947×body80valid
2.6s20705×body320valid
1.7s63234×body80nan
906.0ms10833×body160valid
549.0ms47359×pre80true
317.0ms680×body1280nan
226.0ms681×body640nan
144.0ms543×body5120valid
68.0ms357×body320nan
22.0ms197×body160nan

prune55.7s (24.0%)

Filtered
29426 candidates to 12265 candidates (41.7%)

series37.1s (16.0%)

Calls

392 calls:

899.0ms
(fma (+ (tan x) (tan eps)) (* (/ 1 (- 1 (pow (* (tan x) (tan eps)) 3))) (+ (* 1 1) (+ (* (* (tan x) (tan eps)) (* (tan x) (tan eps))) (* 1 (* (tan x) (tan eps)))))) (- (tan x)))
829.0ms
(fma (* (cbrt (pow (+ x 1.0) (/ 1.0 n))) (cbrt (pow (+ x 1.0) (/ 1.0 n)))) (cbrt (pow (+ x 1.0) (/ 1.0 n))) (- (* (pow (cbrt x) (/ 1.0 n)) (pow (* (cbrt x) (cbrt x)) (/ 1.0 n)))))
824.0ms
(fma (* (cbrt (pow (+ x 1.0) (/ 1.0 n))) (cbrt (pow (+ x 1.0) (/ 1.0 n)))) (cbrt (pow (+ x 1.0) (/ 1.0 n))) (- (* (pow (cbrt x) (/ 1.0 n)) (pow (* (cbrt x) (cbrt x)) (/ 1.0 n)))))
757.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (fma 1/6 (* (pow a 3) (pow eps 3)) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps))) (- (exp (* b eps)) 1.0)))
494.0ms
(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))

simplify16.6s (7.1%)

Algorithm
194×egg-herbie

rewrite8.2s (3.5%)

Algorithm
122×rewrite-expression-head
Calls

392 calls:

517.0ms
(cbrt (/ (/ (pow (- (pow (* (exp (* a x)) (exp (* a x))) 3) (pow (* 1.0 1.0) 3)) 3) (pow (fma (pow (exp (* a x)) 3) (exp (* a x)) (* (* 1.0 1.0) (+ (* 1.0 1.0) (pow (exp (* a x)) 2)))) 3)) (pow (+ (exp (* a x)) 1.0) 3)))
237.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
154.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
122.0ms
(- (/ (pow 1.0 3) (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0))) (/ (pow (cos x) 3) (fma (cos x) (+ 1.0 (cos x)) (* 1.0 1.0))))
113.0ms
(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
Rules
30152×times-frac
21045×*-un-lft-identity
19276×add-sqr-sqrt
13753×add-cube-cbrt
13398×unpow-prod-down
12574×cube-prod
8614×cbrt-prod
6930×difference-of-squares
6229×prod-diff
5192×sqr-pow
2446×sqrt-prod
2388×distribute-lft-out
1908×unpow3 cube-mult
1327×distribute-lft-out--
1260×add-exp-log
984×add-cbrt-cube
683×pow1
678×div-inv
656×add-log-exp
590×associate-/l*
572×associate-*r*
547×associate-+l+
544×associate-/r/
508×fma-neg
464×distribute-rgt-neg-in
459×associate-*l* associate-/r*
440×log-prod
391×distribute-rgt-in distribute-lft-in
378×log1p-expm1-u expm1-log1p-u
369×difference-cubes
322×div-exp
288×flip-- flip3--
260×prod-exp
252×distribute-lft-neg-in
220×unswap-sqr
208×cbrt-undiv
207×flip-+ flip3-+
190×associate-*l/
164×cbrt-unprod
157×swap-sqr
124×log-pow
120×sqrt-div
116×unpow2
115×sub-neg
114×diff-log
109×pow-unpow
94×exp-sum
90×exp-prod
84×neg-mul-1
83×associate-/l/
82×pow-exp
80×frac-times
78×pow-to-exp
76×pow-prod-down
75×fma-def clear-num frac-2neg
74×associate-*r/
73×tan-quot
51×*-commutative
48×pow1/2 sqrt-pow1 log-div
44×associate-+r+
39×frac-sub
37×pow-pow
35×pow1/3
34×fma-udef
33×rem-sqrt-square
32×1-exp
29×rem-log-exp
28×unpow-prod-up
26×rec-exp cbrt-div
25×div-sub sum-log
24×complex-mul-def
18×neg-sub0
17×cube-div +-commutative
16×pow-prod-up
15×frac-add
14×pow-sqr
13×rem-cube-cbrt associate--l-
12×neg-log
11×exp-diff
8×rem-exp-log pow-flip pow-plus associate-+l-
7×sub-div pow2
6×inv-pow *.c-commutative pow-sub associate--l+ associate--r+
5×distribute-rgt-out-- exp-to-pow
4×difference-of-sqr-1 +.c-commutative cos-mult complex-add-def
3×sin-cos-mult e-exp-1 hypot-def
2×cos-sum associate-+l+.c associate-+r- exp-neg associate-*l*.c expm1-def tan-sum pow-neg sin-sum
1×un-div-inv sqrt-unprod diff-atan diff-cos expm1-log1p rem-square-sqrt sin-mult expm1-udef diff-sin log-rec rem-cbrt-cube

regimes3.2s (1.4%)

Accuracy

Total 31.3b remaining (14.5%)

Threshold costs 6.3b (2.9%)

4.5b81.6%quadp (p42, positive)
4.4b81.6%quad2p (problem 3.2.1, positive)
4.3b85%quad2m (problem 3.2.1, negative)
4.3b85.1%quadm (p42, negative)
3.3b0%expq3 (problem 3.4.2)

localize2.0s (0.9%)

bsearch802.0ms (0.3%)

end1.0ms (0.0%)