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

sample10.1s (54.6%)

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

prune3.9s (21.1%)

Filtered
2204 candidates to 1421 candidates (35.5%)

series1.1s (6.0%)

Calls

69 calls:

41.0ms
(cbrt (- (neg f) n))
37.0ms
(cbrt (- (neg f) n))
37.0ms
(cbrt (- (neg f) n))
36.0ms
(+ (neg b) (* (fabs (cbrt (- (* b b) (* 4.0 (* a c))))) (sqrt (cbrt (- (* b b) (* 4.0 (* a c)))))))
35.0ms
(* (cbrt (- f n)) (cbrt (- f n)))

simplify1.0s (5.6%)

Algorithm
44×egg-herbie

regimes973.0ms (5.2%)

Accuracy

Total 3.2b remaining (21.1%)

Threshold costs 1.0b (6.6%)

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

rewrite807.0ms (4.3%)

Algorithm
26×rewrite-expression-head
Calls

69 calls:

63.0ms
(cbrt (pow (- (/ (neg f) (- f n)) (/ n (- f n))) 3))
63.0ms
(pow (- (/ (neg f) (- f n)) (/ n (- f n))) 3)
61.0ms
(- (/ (neg f) (- f n)) (/ n (- f n)))
25.0ms
(* (sqrt (* (sqrt (- x 1.0)) (sqrt x))) (sqrt (* (sqrt (- x 1.0)) (sqrt x))))
23.0ms
(- (/ 1 (/ y (+ x 4.0))) (* (/ x y) z))
Rules
1014×*-un-lft-identity
820×add-sqr-sqrt
627×times-frac
414×add-cube-cbrt
247×distribute-lft-out--
207×pow1
202×cbrt-prod add-exp-log
165×sqrt-prod
163×add-cbrt-cube
143×difference-of-squares
129×unpow-prod-down
122×cube-prod
111×distribute-rgt-neg-in
106×add-log-exp
104×sqrt-div
102×associate-*l*
100×associate-*r*
98×sqrt-pow1
78×flip-- flip3--
67×pow-prod-down
60×pow1/2
54×prod-exp
48×associate-/l*
45×associate-/r/
44×associate-/r*
42×distribute-lft-neg-in distribute-lft-out
39×cbrt-unprod
38×div-exp
37×unswap-sqr
32×div-inv
30×associate-*l/
27×cbrt-div
26×cbrt-undiv
24×associate-*r/
23×rem-sqrt-square
16×pow-prod-up
15×pow1/3 distribute-rgt-out--
14×swap-sqr *-commutative
13×frac-times
12×neg-mul-1 flip-+ flip3-+
11×sub-neg
10×cube-div pow-unpow diff-log associate-/l/ pow-sqr
8×neg-sub0 clear-num sum-log 1-exp frac-2neg
7×sqrt-unprod sqr-pow
6×pow-exp frac-sub
5×sub-div div-sub
4×pow-to-exp +-commutative neg-log cube-mult exp-prod associate-+l- unpow3
3×pow-pow rem-cube-cbrt
2×pow2 exp-sum exp-neg unpow-prod-up pow-plus distribute-frac-neg rec-exp rem-cbrt-cube distribute-neg-frac exp-diff rem-exp-log
1×associate--l- e-exp-1 rem-square-sqrt inv-pow un-div-inv pow-flip pow-sub

localize390.0ms (2.1%)

bsearch186.0ms (1.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...