Date:Friday, May 29th, 2020
Commit:4c7d9bce on master
Hostname:warfa with Racket 7.5
Seed:2020150
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.5s (48.4%)

Algorithm
18×intervals
Results
3.5s82184×body80valid
2.0s55133×body80nan
730.0ms4201×body1280valid
0.0ms7×body160valid

prune4.3s (21.6%)

Filtered
1679 candidates to 2467 candidates (-46.9%)

simplify2.4s (12.2%)

Algorithm
46×egg-herbie

regimes1.2s (5.9%)

Accuracy

Total 2.5b remaining (13.9%)

Threshold costs 2.5b (13.9%)

0.9b92.8%jeff quadratic root 2
0.8b93.2%jeff quadratic root 1
0.4b0%sqrt times
0.4b77.5%fabs fraction 1
0.0b0%subtraction fraction

series1.2s (5.9%)

Calls

74 calls:

41.0ms
(* (pow (exp (neg (+ (sqrt 1.0) x))) (sqrt 1.0)) (pow (exp (neg (+ (sqrt 1.0) x))) (neg x)))
33.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
32.0ms
(+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
31.0ms
(+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
29.0ms
(* (sqrt (+ (sqrt x) (sqrt 1.0))) (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x)))

rewrite622.0ms (3.2%)

Algorithm
28×rewrite-expression-head
Calls

74 calls:

43.0ms
(+ (log (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))))
22.0ms
(log (exp (/ -1 (/ (- f n) (+ f n)))))
19.0ms
(log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0)))
17.0ms
(log (exp (/ (neg (+ f n)) (- f n))))
16.0ms
(exp (/ -1 (/ (- f n) (+ f n))))
Rules
1192×*-un-lft-identity
1037×add-sqr-sqrt
1026×times-frac
639×add-cube-cbrt
358×exp-prod
214×add-exp-log
213×sqrt-prod
161×difference-of-squares
157×log-pow
155×add-cbrt-cube
147×distribute-lft-out
131×distribute-lft-out--
130×pow1
129×add-log-exp
114×distribute-rgt-neg-in
112×distribute-lft-neg-in
104×associate-*l*
85×associate-/r*
66×prod-exp
61×cbrt-prod
56×associate-/l*
54×flip-- flip3--
46×sqrt-div
44×log-prod associate-/r/
37×associate-*r*
36×div-exp
32×cbrt-unprod div-inv
28×neg-mul-1 flip-+ flip3-+
26×cbrt-undiv unswap-sqr
25×associate-*l/
24×cbrt-div
23×sqrt-pow1
22×pow1/2
21×pow-prod-down unpow-prod-down
18×pow-unpow
17×pow1/3
16×neg-sub0 associate-*r/
15×sub-neg
14×rem-sqrt-square associate-+r+ diff-log neg-log pow-pow rem-exp-log
11×frac-times
10×frac-add log-div distribute-neg-in sum-log associate-/l/ sqr-pow
9×pow-exp clear-num *-commutative frac-2neg
8×exp-sum pow-to-exp associate-+l+
7×exp-neg
6×1-exp div-sub rec-exp un-div-inv exp-diff
5×distribute-frac-neg
4×associate--l- rem-log-exp distribute-rgt-in unpow-prod-up +-commutative distribute-lft-in sqrt-unprod associate-+l- distribute-neg-frac
3×pow-neg pow-sub
2×sqrt-undiv associate-+r-
1×e-exp-1 frac-sub sub-div log-rec pow-prod-up associate--r+

localize388.0ms (2.0%)

bsearch165.0ms (0.8%)

end0.0ms (0.0%)

Profiling

Loading profile data...