Date:Monday, June 1st, 2020
Commit:29dc5705 on web-tweaks
Hostname:warfa with Racket 7.5
Seed:2020153
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.2min (60.2%)

Algorithm
56×intervals
Results
25.4s67695×body1280valid
18.3s17265×body2560valid
8.9s42435×body640valid
3.6s92149×body80valid
2.8s20688×body320valid
2.4s64284×body80nan
1.3s15868×body80overflowed
1.2s1136×body1280nan
966.0ms10931×body160valid
670.0ms955×body640nan
660.0ms47447×pre80true
194.0ms458×body320nan
179.0ms461×body5120valid
53.0ms241×body160nan

prune24.0s (19.3%)

Filtered
13677 candidates to 8400 candidates (38.6%)

simplify9.4s (7.5%)

Algorithm
167×egg-herbie

series6.4s (5.2%)

Calls

372 calls:

648.0ms
(/ (* 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)))))
194.0ms
(* (+ (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))))
151.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
106.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
106.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))

regimes4.5s (3.6%)

Accuracy

Total 21.4b remaining (23.8%)

Threshold costs 6.4b (7.1%)

3.3b88.3%quadm (p42, negative)
3.2b0%expq3 (problem 3.4.2)
2.0b80.3%2cos (problem 3.3.5)
1.9b83%2nthrt (problem 3.4.6)
1.4b93.3%expax (section 3.5)

rewrite3.5s (2.8%)

Algorithm
111×rewrite-expression-head
Calls

372 calls:

45.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
36.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
34.0ms
(* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))
33.0ms
(* (+ (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))))
32.0ms
(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
Rules
7836×*-un-lft-identity
7203×times-frac
6713×add-sqr-sqrt
3743×add-cube-cbrt
1899×sqrt-prod
1389×difference-of-squares
1258×unpow-prod-down
1198×distribute-lft-out
1087×add-exp-log
947×distribute-lft-out--
863×add-cbrt-cube
796×cube-prod
742×add-log-exp
729×cbrt-prod
667×associate-/l*
648×pow1
574×associate-*r*
482×sqr-pow
423×associate-/r*
362×associate-*l*
291×div-inv
270×log-prod
265×associate-/r/
245×flip-- flip3--
242×div-exp
206×flip-+ flip3-+ unswap-sqr
203×prod-exp
176×associate-*l/
169×cbrt-undiv
147×pow-unpow
143×exp-prod
135×swap-sqr
128×log-pow
126×diff-log
124×cbrt-unprod
123×cbrt-div
119×distribute-rgt-neg-in
111×sub-neg
102×sqrt-div
99×unpow2
96×associate-/l/
89×cube-mult unpow3
83×associate-*r/
80×pow1/3
78×pow-exp
77×pow-to-exp
76×frac-times
71×clear-num frac-2neg
67×pow-prod-down
63×sum-log
58×*-commutative
57×sqrt-pow1
55×frac-add
53×pow1/2
48×pow-pow
40×difference-cubes
35×distribute-rgt-in rem-sqrt-square distribute-lft-in
29×div-sub
27×+-commutative
26×frac-sub tan-quot
22×log-div
20×neg-sub0 associate--l+
19×cube-div rem-log-exp associate-+l+
18×exp-to-pow 1-exp pow-prod-up
17×rec-exp
16×associate--l- pow-sqr
15×neg-log
14×associate--r+ rem-cube-cbrt
12×rem-exp-log
11×associate-+l-
9×cos-mult
8×pow2 pow-plus
6×exp-lft-cube associate-+r+ sqrt-pow2 sin-mult exp-diff
5×inv-pow sub-div rem-cbrt-cube pow-flip
4×associate-+r- mul-1-neg sin-cos-mult sqrt-unprod distribute-neg-frac
3×unsub-neg
2×distribute-lft-neg-in exp-neg sqr-cos tan-sum cos-sum neg-mul-1 sin-sum distribute-rgt-out-- difference-of-sqr-1
1×distribute-lft-neg-out rem-square-sqrt diff-cos diff-sin diff-atan un-div-inv distribute-rgt-neg-out

localize1.3s (1.0%)

bsearch599.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...