Date:Tuesday, February 25th, 2020
Commit:61e80a61 on faster-rr
Hostname:warfa with Racket 7.5
Seed:2020056
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.8m (54.3%)

Algorithm
56×intervals
16×halfpoints
Results
24.5s66824×body1280valid
17.3s17435×body2560valid
8.3s41858×body640valid
3.9s12670×body10240exit
2.9s94048×body80valid
2.7s20659×body320valid
1.7s63239×body80nan
901.0ms10807×body160valid
562.0ms47368×pre80true
304.0ms614×body1280nan
200.0ms625×body640nan
150.0ms435×body5120valid
76.0ms396×body320nan
21.0ms191×body160nan

series38.4s (18.8%)

Calls

416 calls:

695.0ms
(* (cbrt (/ (/ 1 2.0) (sqrt 2.0))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
612.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
531.0ms
(/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
499.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))
493.0ms
(log (* (exp (- (pow x (/ 1.0 n)))) (exp (pow (+ x 1.0) (/ 1.0 n)))))

prune33.9s (16.6%)

simplify10.5s (5.1%)

Algorithm
196×egg-herbie

rewrite4.3s (2.1%)

Algorithm
124×rewrite-expression-head
Calls

416 calls:

89.0ms
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (log (exp (- (sqrt (exp x)) (sqrt 1.0))))))
72.0ms
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))))
47.0ms
(* (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))))
45.0ms
(+ (* (/ 0.3333333333333333 N) (log (exp (/ (/ 1 N) N)))) (- (/ 1.0 N) (/ (/ 0.5 N) N)))
38.0ms
(+ (* (/ 0.3333333333333333 N) (/ 1 (pow N 2))) (- (/ 1.0 N) (/ (/ 0.5 N) N)))
Rules
6562×*-un-lft-identity
6145×add-sqr-sqrt
6142×times-frac
3496×add-cube-cbrt
2411×sqrt-prod
1668×add-exp-log
1156×add-cbrt-cube
1083×difference-of-squares
944×associate-*r*
856×distribute-lft-out
791×add-log-exp
732×pow1
721×distribute-lft-out--
690×associate-*l*
585×unpow-prod-down
520×associate-/l*
473×associate-/r*
468×div-exp
405×prod-exp
364×log-prod
303×flip3-- flip--
281×sqr-pow cube-prod
277×div-inv
269×associate-/r/
251×cbrt-undiv
245×unswap-sqr
242×cbrt-prod log-pow
235×associate-*l/
219×cbrt-unprod
216×exp-prod
214×flip-+ flip3-+
145×sub-neg
143×sqrt-div
130×diff-log
119×frac-times
115×pow-unpow
107×associate-*r/
103×associate-/l/ unpow2
102×pow-prod-down
96×1-exp
88×frac-add
87×rec-exp
83×frac-2neg clear-num
73×*-commutative sum-log
72×sqrt-pow1
69×swap-sqr
64×pow-to-exp pow-exp
59×distribute-rgt-neg-in
53×pow1/2
52×cbrt-div
49×associate-+r+
45×log-div
44×+-commutative
43×associate-+l+
41×distribute-rgt-in distribute-lft-in
40×difference-cubes
35×rem-sqrt-square
32×pow1/3
26×tan-quot rem-log-exp
24×complex-mul-def neg-sub0 frac-sub associate--l+
23×div-sub
22×pow-pow pow-flip
19×inv-pow
18×exp-diff
16×associate-+l-
14×cube-mult pow-prod-up associate--r+
13×unpow3 exp-neg
12×associate--l-
11×un-div-inv
10×sub-div exp-to-pow
9×neg-log
8×rem-cube-cbrt pow-sqr sin-mult cos-mult exp-sum exp-lft-cube
6×pow-div cube-div distribute-rgt-out-- *.c-commutative
5×sqrt-unprod associate-+r-
4×pow2 +.c-commutative complex-add-def pow-plus
2×rem-exp-log associate-+l+.c associate--r- difference-of-sqr-1 associate-*l*.c tan-sum cos-sum frac-2neg.c sin-sum
1×sin-cos-mult rem-cbrt-cube sqrt-pow2 diff-atan diff-cos sqr-cos rem-square-sqrt distribute-rgt-out sqrt-undiv diff-sin

regimes3.1s (1.5%)

Accuracy

Total 26.1b remaining (11.6%)

Threshold costs 6.5b (2.9%)

4.7b82.1%quad2m (problem 3.2.1, negative)
4.6b80.9%quad2p (problem 3.2.1, positive)
4.3b85%quadp (p42, positive)
1.9b73.8%2tan (problem 3.3.2)
1.6b83.8%2cos (problem 3.3.5)

localize1.9s (1.0%)

bsearch1.1s (0.5%)

end1.0ms (0.0%)