Date:Tuesday, May 5th, 2020
Commit:256fb890 on master
Hostname:warfa with Racket 7.5
Seed:2020126
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 (41.4%)

Algorithm
56×intervals
16×halfpoints
Results
25.1s67701×body1280valid
18.1s17434×body2560valid
9.0s42257×body640valid
3.6s92502×body80valid
2.8s20733×body320valid
2.3s64290×body80nan
1.2s1060×body1280nan
1.1s15745×body80overflowed
952.0ms10668×body160valid
733.0ms47449×pre80true
653.0ms914×body640nan
207.0ms485×body320nan
155.0ms474×body5120valid
52.0ms235×body160nan

prune1.3m (28.6%)

Filtered
27011 candidates to 16617 candidates (61.5%)

series54.4s (20.0%)

Calls

399 calls:

15.2s
(cbrt (* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))))
1.5s
(* (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))))
1.3s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))
747.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
737.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))

simplify14.1s (5.2%)

Algorithm
194×egg-herbie

rewrite7.0s (2.6%)

Algorithm
122×rewrite-expression-head
Calls

399 calls:

299.0ms
(/ (/ (cbrt 1) (/ (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt a)) c)) (cbrt a))
200.0ms
(/ (/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
60.0ms
(* (/ 4.0 (/ 2.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))) a))
57.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
43.0ms
(+ (/ 1 (pow x 5)) (/ 1 (pow x 3)))
Rules
51864×times-frac
34984×*-un-lft-identity
26649×add-sqr-sqrt
24081×sqrt-prod
20858×add-cube-cbrt
15237×cbrt-prod
6199×distribute-lft-out
2697×difference-of-squares
2297×associate-/l*
1635×distribute-lft-out--
1424×add-exp-log
1072×add-cbrt-cube
737×add-log-exp
678×pow1
664×associate-*r*
651×div-inv
632×unpow-prod-down
567×associate-/r/
503×sqrt-div
487×associate-*l*
435×associate-/r*
372×div-exp
366×flip-+ flip3-+
327×log-prod
322×prod-exp
284×sqr-pow
267×flip-- flip3--
242×cbrt-undiv
227×unswap-sqr
192×cbrt-unprod
173×log-pow
158×associate-*l/
156×cube-prod
138×sub-neg
127×exp-prod
117×diff-log
112×unpow2
111×distribute-rgt-neg-in
107×associate-/l/
82×pow-prod-down
81×frac-times
80×pow-to-exp pow-exp associate-*r/
77×frac-2neg clear-num
71×*-commutative
64×sum-log
52×frac-add
50×log-div associate-+r+
49×distribute-rgt-in cbrt-div distribute-lft-in
48×1-exp rec-exp
47×pow1/2 sqrt-pow1
42×+-commutative
32×rem-log-exp
29×rem-sqrt-square div-sub
28×pow1/3
27×associate-+l+
24×pow-pow pow-unpow tan-quot complex-mul-def
23×associate--r+
19×frac-sub
17×unpow3 cube-mult
16×cube-div
15×neg-sub0 associate--l+
14×swap-sqr
13×associate-+l-
11×associate--l- pow-flip neg-log
9×inv-pow
8×pow-prod-up difference-cubes
7×exp-diff sin-mult cos-mult
6×rem-cube-cbrt rem-exp-log exp-sum *.c-commutative
5×un-div-inv distribute-rgt-out-- sub-div pow-sqr
4×mul-1-neg sin-cos-mult sqrt-unprod associate-+r- +.c-commutative complex-add-def exp-to-pow
3×pow-plus
2×cos-sum rem-cbrt-cube distribute-lft-neg-in pow3 associate-+l+.c exp-neg pow2 difference-of-sqr-1 unsub-neg associate-*l*.c neg-mul-1 tan-sum distribute-neg-frac sin-sum
1×sum-cubes diff-atan diff-cos rem-square-sqrt diff-sin

regimes3.0s (1.1%)

Accuracy

Total 32.1b remaining (13.8%)

Threshold costs 6.0b (2.6%)

4.6b82.3%quadm (p42, negative)
4.2b58.1%2cos (problem 3.3.5)
3.8b85.7%quadp (p42, positive)
3.3b0%expq3 (problem 3.4.2)
2.9b88.7%quad2p (problem 3.2.1, positive)

localize1.8s (0.7%)

bsearch1.4s (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...