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

simplify45.3s (72.5%)

sample9.6s (15.5%)

Algorithm
18×intervals
Results
3.6s82248×body80valid
2.0s55386×body80nan
758.0ms4116×body1280valid
0.0ms5×body160valid

prune4.2s (6.7%)

Filtered
2888 candidates to 1690 candidates (41.5%)

series1.0s (1.6%)

Calls

71 calls:

51.0ms
(* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))
39.0ms
(cbrt (neg (+ f n)))
37.0ms
(cbrt (neg (+ f n)))
36.0ms
(- (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))) b)
34.0ms
(* (cbrt (- f n)) (cbrt (- f n)))

regimes973.0ms (1.6%)

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.6%fabs fraction 1
0.3b0%sqrt times
0.0b0%subtraction fraction

rewrite776.0ms (1.2%)

Algorithm
27×rewrite-expression-head
Calls

71 calls:

39.0ms
(- (/ (+ x 4.0) y) (/ z (/ y x)))
25.0ms
(cbrt (pow (/ -1 (/ (- f n) (+ f n))) 3))
23.0ms
(pow (/ -1 (/ (- f n) (+ f n))) 3)
20.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
20.0ms
(- (/ 1 (/ y (+ x 4.0))) (* (/ x y) z))
Rules
1621×*-un-lft-identity
1514×times-frac
1337×add-sqr-sqrt
876×add-cube-cbrt
436×cbrt-prod
301×unpow-prod-down
298×cube-prod
214×pow1
197×distribute-lft-out
190×add-exp-log
173×sqrt-prod
172×difference-of-squares
167×distribute-lft-out--
165×add-cbrt-cube
162×distribute-rgt-neg-in
156×distribute-lft-neg-in
118×associate-*r*
108×associate-*l* sqrt-div
101×associate-/r*
100×sqrt-pow1
98×add-log-exp
67×flip-- flip3--
66×pow-prod-down
65×associate-/r/
63×associate-/l*
62×pow1/2
56×div-inv
45×div-exp
39×associate-*l/ unswap-sqr
38×neg-mul-1
37×swap-sqr
35×flip-+ flip3-+
34×cbrt-div
33×cbrt-undiv
26×prod-exp
25×rem-sqrt-square
22×cbrt-unprod
20×distribute-neg-frac
18×pow1/3 pow-prod-up
16×frac-times
14×sub-neg associate-/l/
13×associate-*r/ clear-num diff-log *-commutative frac-2neg
12×pow-sqr
10×pow-unpow
7×pow-exp sqrt-unprod
6×1-exp rec-exp
5×frac-sub 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 un-div-inv pow-pow
2×exp-sum exp-neg unpow-prod-up inv-pow rem-cbrt-cube pow-flip exp-diff rem-exp-log
1×cube-neg e-exp-1 rem-square-sqrt sub-div pow-sub

localize367.0ms (0.6%)

bsearch191.0ms (0.3%)

end0.0ms (0.0%)

Profiling

Loading profile data...