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

simplify17.0s (47.8%)

sample10.3s (29.2%)

Algorithm
18×intervals
Results
3.8s82248×body80valid
2.1s55386×body80nan
826.0ms4116×body1280valid
0.0ms5×body160valid

prune4.6s (13.1%)

Filtered
2774 candidates to 1618 candidates (41.7%)

series1.2s (3.3%)

Calls

72 calls:

48.0ms
(* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))
40.0ms
(cbrt (neg (+ f n)))
38.0ms
(- (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))) b)
38.0ms
(* (cbrt (- f n)) (cbrt (- f n)))
37.0ms
(cbrt (neg (+ f n)))

regimes998.0ms (2.8%)

Accuracy

Total 3.2b remaining (17.4%)

Threshold costs 1.0b (5.4%)

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

rewrite743.0ms (2.1%)

Algorithm
27×rewrite-expression-head
Calls

72 calls:

28.0ms
(cbrt (pow (/ -1 (/ (- f n) (+ f n))) 3))
23.0ms
(- (/ 1 (/ y (+ x 4.0))) (* (/ x y) z))
21.0ms
(* (sqrt (- x 1.0)) (sqrt x))
21.0ms
(pow (/ -1 (/ (- f n) (+ f n))) 3)
20.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
Rules
1494×*-un-lft-identity
1305×times-frac
1212×add-sqr-sqrt
778×add-cube-cbrt
491×cbrt-prod
301×unpow-prod-down
298×cube-prod
231×pow1
226×add-exp-log
188×distribute-lft-out
180×add-cbrt-cube
173×sqrt-prod
166×difference-of-squares
164×distribute-lft-out--
162×distribute-rgt-neg-in
156×distribute-lft-neg-in
135×associate-*l*
108×sqrt-div
100×sqrt-pow1
95×add-log-exp
79×associate-*r*
77×pow-prod-down
69×associate-/r*
65×flip-- flip3--
62×pow1/2 associate-/r/
60×prod-exp
52×associate-*l/
49×cbrt-div associate-/l*
47×cbrt-unprod
45×div-inv
44×div-exp
38×neg-mul-1
37×swap-sqr unswap-sqr
33×flip-+ flip3-+
32×cbrt-undiv
25×rem-sqrt-square
23×pow1/3
22×frac-times
20×distribute-neg-frac
18×pow-prod-up
15×associate-*r/ *-commutative
12×sub-neg pow-sqr
11×diff-log
10×pow-unpow associate-/l/
9×clear-num frac-2neg
8×1-exp
7×pow-exp sqrt-unprod
5×rem-cube-cbrt sqr-pow
4×cube-div div-sub cube-mult exp-prod unpow3
3×pow2 neg-sub0 pow-to-exp pow-plus distribute-frac-neg pow-pow
2×exp-sum exp-neg unpow-prod-up frac-sub rec-exp rem-cbrt-cube exp-diff rem-exp-log
1×cube-neg e-exp-1 rem-square-sqrt inv-pow sub-div un-div-inv pow-flip pow-sub

localize380.0ms (1.1%)

bsearch206.0ms (0.6%)

end0.0ms (0.0%)

Profiling

Loading profile data...