Date:Wednesday, May 27th, 2020
Commit:37fb213b on clean-debug-log
Hostname:warfa with Racket 7.5
Seed:2020148
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

prune2.6m (42.9%)

Filtered
13846 candidates to 8874 candidates (35.9%)

sample1.2m (20.8%)

Algorithm
56×intervals
Results
24.9s67546×body1280valid
18.2s17445×body2560valid
8.7s42098×body640valid
3.4s92464×body80valid
2.7s20621×body320valid
2.2s64555×body80nan
1.2s1157×body1280nan
1.1s15882×body80overflowed
925.0ms10883×body160valid
659.0ms47498×pre80true
646.0ms981×body640nan
181.0ms463×body320nan
164.0ms470×body5120valid
50.0ms243×body160nan

end57.7s (16.1%)

series50.9s (14.2%)

Calls

362 calls:

1.2s
(- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
962.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
951.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
901.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))
828.0ms
(/ (* 1.0 (- (sqrt (+ x 1.0)) (sqrt x))) (* (sqrt x) (sqrt (+ x 1.0))))

simplify9.8s (2.7%)

Algorithm
166×egg-herbie

regimes4.6s (1.3%)

Accuracy

Total 22.1b remaining (15%)

Threshold costs 6.2b (4.2%)

3.7b87.1%quad2p (problem 3.2.1, positive)
3.4b56.8%expq3 (problem 3.4.2)
2.6b90.2%quad2m (problem 3.2.1, negative)
1.5b85.8%2nthrt (problem 3.4.6)
1.5b85.4%2cos (problem 3.3.5)

rewrite4.4s (1.2%)

Algorithm
110×rewrite-expression-head
Calls

362 calls:

722.0ms
(* (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)) (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)))
91.0ms
(- (pow (/ x (- x (tan x))) 3) (pow (/ (sin x) (- x (tan x))) 3))
44.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)))
35.0ms
(/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x))
Rules
10914×times-frac
9544×*-un-lft-identity
8140×add-sqr-sqrt
5001×add-cube-cbrt
2477×cbrt-prod
1425×sqrt-prod
1298×difference-of-squares
1253×add-exp-log
1129×distribute-lft-out
1040×distribute-lft-out--
1028×associate-*r*
888×add-cbrt-cube
826×unpow-prod-down
709×add-log-exp
642×pow1
609×associate-*l*
559×swap-sqr
534×associate-/l*
398×sqr-pow
389×associate-/r/
348×associate-/r*
343×flip-- flip3--
340×unswap-sqr
320×prod-exp
312×log-prod
298×cube-prod
283×div-inv
256×div-exp
185×unpow2
167×flip-+ flip3-+
163×cbrt-undiv
158×pow-unpow
155×cbrt-unprod
152×associate-*l/
129×sub-neg
128×diff-log
107×log-pow
106×pow-exp
105×associate-/l/ pow-to-exp
94×associate-*r/
92×cbrt-div
91×frac-times
85×exp-prod
80×sqrt-div pow-prod-down
69×*-commutative
67×frac-2neg clear-num
64×sqrt-pow1
60×pow1/2
56×sum-log
53×distribute-rgt-neg-in
46×frac-add pow1/3
38×pow-pow
35×distribute-rgt-in distribute-lft-in
32×tan-quot 1-exp rec-exp
31×rem-sqrt-square
30×+-commutative
28×distribute-rgt-out-- log-div
27×associate--l+
26×div-sub rem-log-exp
24×frac-sub
21×pow-prod-up
18×neg-sub0
17×pow-sqr
16×associate-+l+
15×difference-cubes
14×cube-div
13×exp-sum associate-+l-
12×unpow3 pow-flip cube-mult associate--r+
11×neg-log associate--l- inv-pow difference-of-sqr-1
9×exp-diff
7×sqrt-pow2 pow-plus pow2
6×rem-exp-log associate-+r+ cos-mult
5×rem-cube-cbrt sqrt-unprod sin-mult
4×exp-neg sub-div
3×associate-+r-
2×un-div-inv rem-square-sqrt cos-sum tan-sum rem-cbrt-cube sin-sum
1×sqrt-undiv diff-atan sin-cos-mult diff-cos unsub-neg +-inverses exp-to-pow diff-sin log-rec

bsearch1.6s (0.5%)

localize1.3s (0.4%)

Profiling

Loading profile data...