Date:Tuesday, June 30th, 2020
Commit:8ccfdff1 on old-regraph
Hostname:debbie with Racket 7.7
Seed:2020182
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

simplify19.5s (51.4%)

sample10.3s (27.1%)

Algorithm
18×intervals
Results
3.9s82248×body80valid
2.1s55386×body80nan
800.0ms4116×body1280valid
0.0ms5×body160valid

prune4.6s (12.1%)

Filtered
2702 candidates to 1712 candidates (36.6%)

series1.2s (3.1%)

Calls

72 calls:

80.0ms
(cbrt (neg (pow (/ (+ f n) (- f n)) 3)))
76.0ms
(cbrt (neg (pow (log (exp (/ (+ f n) (- f n)))) 3)))
53.0ms
(* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))
40.0ms
(cbrt (neg (+ f n)))
37.0ms
(cbrt (neg (+ f n)))

regimes955.0ms (2.5%)

Accuracy

Total 3.2b remaining (17.3%)

Threshold costs 1.0b (5.3%)

1.2b91.4%jeff quadratic root 1
1.0b91.7%jeff quadratic root 2
0.6b62.7%fabs fraction 1
0.3b0%sqrt times
0.0b0%subtraction fraction

rewrite832.0ms (2.2%)

Algorithm
27×rewrite-expression-head
Calls

72 calls:

112.0ms
(- (/ 1 (/ y (+ x 4.0))) (/ z (/ y x)))
24.0ms
(- (/ 1 (/ y (+ x 4.0))) (* (/ x y) z))
20.0ms
(* (sqrt (- x 1.0)) (sqrt x))
20.0ms
(cbrt (neg (pow (log (exp (/ (+ f n) (- f n)))) 3)))
20.0ms
(* (sqrt (* (sqrt (- x 1.0)) (sqrt x))) (sqrt (* (sqrt (- x 1.0)) (sqrt x))))
Rules
1264×*-un-lft-identity
1058×add-sqr-sqrt
1037×times-frac
697×add-cube-cbrt
382×cbrt-prod
224×pow1
203×add-exp-log
189×log-pow
186×exp-prod
182×distribute-rgt-neg-in
176×distribute-lft-neg-in
173×sqrt-prod
171×unpow-prod-down
168×cube-prod
166×add-cbrt-cube
162×distribute-lft-out
118×associate-*r*
114×associate-/r*
113×difference-of-squares
108×associate-*l* sqrt-div
107×distribute-lft-out--
100×sqrt-pow1
97×add-log-exp
75×flip-- flip3--
69×associate-/r/
66×pow-prod-down
62×pow1/2
58×div-inv
55×associate-/l*
53×div-exp
39×associate-*l/ unswap-sqr
37×swap-sqr
33×cbrt-undiv cbrt-div
27×flip-+ flip3-+
26×prod-exp
25×rem-sqrt-square
22×cbrt-unprod
19×distribute-neg-frac
18×pow1/3 pow-prod-up
16×frac-times
14×clear-num neg-mul-1 frac-2neg
13×sub-neg *-commutative
12×associate-*r/ diff-log pow-sqr
10×pow-unpow 1-exp associate-/l/ rec-exp
7×sqrt-unprod sqr-pow
6×cube-mult unpow3
5×pow-exp
4×inv-pow pow-flip
3×pow2 pow-to-exp log-prod frac-sub pow-plus pow-pow rem-cube-cbrt
2×cube-div exp-sum neg-sub0 exp-neg unpow-prod-up div-sub un-div-inv exp-diff rem-exp-log
1×rem-log-exp e-exp-1 rem-square-sqrt sub-div distribute-frac-neg pow-sub

localize386.0ms (1.0%)

bsearch203.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...