Date:Tuesday, June 9th, 2020
Commit:8ccfdff1 on master
Hostname:warfa with Racket 7.5
Seed:2020161
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.4s (48.7%)

Algorithm
18×intervals
Results
3.6s81757×body80valid
2.0s55411×body80nan
721.0ms4129×body1280valid
0.0ms9×body160valid

simplify3.5s (18.0%)

Algorithm
40×egg-herbie

prune3.2s (16.6%)

Filtered
3684 candidates to 1714 candidates (53.5%)

regimes998.0ms (5.2%)

Accuracy

Total 2.2b remaining (12.9%)

Threshold costs 2.2b (12.9%)

1.0b91.8%jeff quadratic root 1
0.8b93.4%jeff quadratic root 2
0.4b0%sqrt times
0.1b94.9%fabs fraction 1
0.0b0%subtraction fraction

series883.0ms (4.6%)

Calls

55 calls:

43.0ms
(sqrt (- (/ (+ x 4.0) y) (* (/ x y) z)))
41.0ms
(/ (neg (+ f n)) (- f n))
34.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
33.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
31.0ms
(sqrt (/ (neg (+ f n)) (- f n)))

rewrite840.0ms (4.4%)

Algorithm
22×rewrite-expression-head
Calls

55 calls:

132.0ms
(/ (+ x 4.0) y)
83.0ms
(* (sqrt (/ (neg (+ f n)) (- f n))) (sqrt (/ (neg (+ f n)) (- f n))))
40.0ms
(/ (/ (neg (+ f n)) (sqrt (- f n))) (sqrt (- f n)))
30.0ms
(/ (neg (sqrt (+ f n))) (/ (- f n) (sqrt (+ f n))))
19.0ms
(* (sqrt (- (/ (+ x 4.0) y) (* (/ x y) z))) (sqrt (- (/ (+ x 4.0) y) (* (/ x y) z))))
Rules
3934×times-frac
3825×*-un-lft-identity
2743×add-sqr-sqrt
2459×sqrt-prod
1687×add-cube-cbrt
862×distribute-rgt-neg-in
834×distribute-lft-neg-in
521×distribute-lft-out--
493×distribute-lft-out
483×difference-of-squares
184×associate-/l*
170×neg-mul-1
159×swap-sqr
155×sqrt-div
125×associate-*l*
119×pow1
107×add-cbrt-cube add-exp-log
103×associate-*r*
91×add-log-exp
88×associate-/r*
79×associate-/r/
65×flip-- flip3--
47×div-inv
40×sqrt-pow1 pow1/2
34×associate-*l/
31×flip-+ flip3-+
25×unswap-sqr
23×rem-sqrt-square
19×associate-/l/
18×div-exp cbrt-undiv
17×frac-times
14×diff-log
13×frac-sub sub-div pow-prod-down
12×cbrt-prod neg-sub0
11×prod-exp cbrt-unprod
10×clear-num sub-neg pow-prod-up frac-2neg distribute-neg-frac
9×div-sub
8×associate-*r/ cbrt-div
7×distribute-frac-neg *-commutative
6×neg-log pow-sqr
4×associate--l- sum-log pow1/3
3×sqrt-unprod
2×pow2 +-commutative rem-square-sqrt pow-plus associate-+l-

localize337.0ms (1.7%)

bsearch175.0ms (0.9%)

end0.0ms (0.0%)

Profiling

Loading profile data...