Date:Thursday, May 28th, 2020
Commit:002bf197 on no-eval
Hostname:warfa with Racket 7.5
Seed:2020149
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

sample9.6s (51.5%)

Algorithm
18×intervals
Results
3.5s81996×body80valid
2.1s55838×body80nan
728.0ms4130×body1280valid
0.0ms6×body160valid

prune3.5s (19.1%)

Filtered
2214 candidates to 1391 candidates (37.2%)

simplify2.2s (11.8%)

Algorithm
44×egg-herbie

regimes1.2s (6.3%)

Accuracy

Total 2.5b remaining (13.6%)

Threshold costs 1.4b (7.9%)

1.0b91.7%jeff quadratic root 1
1.0b92.2%jeff quadratic root 2
0.3b0%sqrt times
0.1b92.6%fabs fraction 1
0.0b0%subtraction fraction

series815.0ms (4.4%)

Calls

66 calls:

32.0ms
(+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
26.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
25.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite759.0ms (4.1%)

Algorithm
26×rewrite-expression-head
Calls

66 calls:

204.0ms
(/ (neg (+ f n)) (- f n))
26.0ms
(* (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0)))
24.0ms
(/ -1 (- (/ f (+ f n)) (/ n (+ f n))))
24.0ms
(/ (* 1.0 (- (/ (/ 1.0 x) x) 1.0)) (+ (/ 1.0 x) 1.0))
22.0ms
(- (/ f (+ f n)) (/ n (+ f n)))
Rules
1148×*-un-lft-identity
1015×times-frac
936×add-sqr-sqrt
581×add-cube-cbrt
296×cbrt-prod
156×unpow-prod-down cube-prod
146×associate-/r*
143×distribute-lft-out
134×distribute-lft-out--
133×add-exp-log
132×difference-of-squares
129×add-cbrt-cube
122×sqrt-prod
121×pow1
117×add-log-exp
71×associate-/r/
65×associate-/l*
62×sqrt-div
53×flip-- flip3--
50×associate-*l*
48×div-inv
47×associate-*r*
41×flip-+ flip3-+
35×sqrt-pow1
34×pow1/2
28×distribute-lft-neg-in distribute-rgt-neg-in
26×div-exp
24×cbrt-undiv
23×rem-sqrt-square
22×associate-*l/
19×sub-neg
18×diff-log
17×unswap-sqr
16×exp-prod
15×associate-/l/ distribute-rgt-out--
14×clear-num frac-2neg
13×swap-sqr prod-exp
11×pow-prod-down cbrt-unprod
10×frac-sub exp-sum associate-*r/
8×frac-times
7×sum-log neg-sub0 neg-log neg-mul-1
6×*-commutative cube-mult unpow3 sqr-pow sub-div cbrt-div
5×pow-flip pow-prod-up
4×div-sub
3×associate-+l- pow1/3 pow-sqr +-commutative pow-unpow un-div-inv rem-exp-log cube-div
2×exp-diff 1-exp rec-exp rem-cube-cbrt sqrt-unprod pow-exp distribute-neg-in associate--l- distribute-neg-frac
1×pow-plus rem-square-sqrt distribute-frac-neg exp-neg inv-pow rem-cbrt-cube associate--l+ pow-pow pow2 pow-to-exp

localize347.0ms (1.9%)

bsearch184.0ms (1.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...