Date:Tuesday, May 26th, 2020
Commit:84332aa3 on master
Hostname:warfa with Racket 7.5
Seed:2020147
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.2m (35.8%)

Algorithm
56×intervals
Results
24.6s67973×body1280valid
18.4s17416×body2560valid
8.5s42121×body640valid
3.4s92730×body80valid
2.8s20247×body320valid
2.2s63897×body80nan
1.2s1131×body1280nan
1.0s15862×body80overflowed
909.0ms10712×body160valid
651.0ms47638×pre80true
639.0ms939×body640nan
190.0ms474×body320nan
167.0ms501×body5120valid
47.0ms227×body160nan

prune1.1m (32.9%)

Filtered
12006 candidates to 7815 candidates (34.9%)

series44.9s (21.7%)

Calls

349 calls:

1.4s
(pow (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) 4)
1.0s
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
1.0s
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
870.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
811.0ms
(/ (* 1.0 (- (sqrt (+ x 1.0)) (sqrt x))) (* (sqrt x) (sqrt (+ x 1.0))))

simplify8.7s (4.2%)

Algorithm
164×egg-herbie

regimes5.1s (2.5%)

Accuracy

Total 28.0b remaining (22.9%)

Threshold costs 6.4b (5.3%)

4.5b83.3%quadp (p42, positive)
3.3b0%expq3 (problem 3.4.2)
3.2b88.2%quadm (p42, negative)
3.1b88.4%quad2m (problem 3.2.1, negative)
2.6b90%quad2p (problem 3.2.1, positive)

rewrite3.5s (1.7%)

Algorithm
108×rewrite-expression-head
Calls

349 calls:

215.0ms
(- (sin (+ x eps)) (sin x))
67.0ms
(- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2)))))
46.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
33.0ms
(/ (/ a (/ (- (neg b_2) (exp (log (sqrt (- (* b_2 b_2) (* a c)))))) c)) a)
31.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
Rules
6180×*-un-lft-identity
6129×times-frac
5538×add-sqr-sqrt
3276×add-cube-cbrt
1155×add-exp-log
1099×sqrt-prod
937×difference-of-squares
860×add-cbrt-cube
763×distribute-lft-out
734×distribute-lft-out--
729×unpow-prod-down
681×add-log-exp
670×associate-*r*
627×associate-/l*
594×pow1
422×log-prod
392×associate-/r*
370×cbrt-prod
306×sqr-pow
275×div-exp
264×flip-- flip3--
254×associate-*l*
247×associate-/r/
246×prod-exp
233×unswap-sqr
225×div-inv
207×cube-prod
179×cbrt-undiv
165×unpow2
161×flip-+ flip3-+
139×associate-*l/ distribute-rgt-neg-in
130×cbrt-unprod
128×diff-log
125×sub-neg
110×associate-/l/
105×exp-sum
91×swap-sqr
90×log-pow
82×pow-exp
79×cbrt-div pow-to-exp
73×clear-num frac-2neg
71×associate-*r/
66×sqrt-div
63×pow-prod-down
59×frac-times
58×*-commutative exp-prod
54×frac-add
51×pow1/2 sqrt-pow1
50×pow-unpow
48×sum-log
42×tan-quot
35×pow1/3
34×rem-sqrt-square
31×log-div rem-log-exp
30×frac-sub
28×distribute-rgt-in distribute-lft-in
26×+-commutative div-sub
25×associate--l+
21×associate--r+
19×unpow3 1-exp cube-mult rec-exp
18×cube-div
16×pow-prod-up
15×pow-pow associate-+l+ neg-sub0
13×associate--l-
12×pow-sqr
11×neg-log
10×associate-+l-
9×exp-diff
8×rem-cube-cbrt associate-+r+
6×difference-cubes rem-exp-log inv-pow pow-flip cos-mult
5×sqrt-unprod distribute-rgt-out-- sin-mult
4×sin-cos-mult mul-1-neg pow2 pow-plus rem-cbrt-cube
3×un-div-inv associate-+r- sub-div associate--r-
2×cos-sum distribute-lft-neg-in exp-neg difference-of-sqr-1 unsub-neg rem-square-sqrt neg-mul-1 distribute-neg-frac sin-sum tan-sum
1×sqrt-pow2 diff-atan diff-cos exp-to-pow diff-sin log-rec

bsearch1.5s (0.7%)

localize1.1s (0.6%)

end0.0ms (0.0%)

Profiling

Loading profile data...