Date:Saturday, June 27th, 2020
Commit:830c07fe on fix-unfold-let
Hostname:warfa with Racket 7.5
Seed:2020179
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 (49.8%)

Algorithm
18×intervals
Results
3.6s82042×body80valid
1.8s55449×body80nan
694.0ms4118×body1280valid
0.0ms7×body160valid

simplify3.2s (16.9%)

Algorithm
43×egg-herbie

prune3.1s (16.4%)

Filtered
1861 candidates to 1291 candidates (30.6%)

regimes1.1s (5.8%)

Accuracy

Total 3.9b remaining (25%)

Threshold costs 0.8b (5%)

1.6b89.1%jeff quadratic root 1
1.6b90.1%jeff quadratic root 2
0.4b73.5%fabs fraction 1
0.3b0%sqrt times
0.0b0%subtraction fraction

series1.0s (5.5%)

Calls

66 calls:

46.0ms
(* c (* (/ (cbrt a) (sqrt b)) (cbrt a)))
35.0ms
(cbrt (- (neg f) n))
31.0ms
(+ (neg b) (* (fabs (cbrt (- (* b b) (* 4.0 (* a c))))) (sqrt (cbrt (- (* b b) (* 4.0 (* a c)))))))
31.0ms
(/ (* 2.0 c) (+ (* 2.0 (* (* c (* (/ (cbrt a) (sqrt b)) (cbrt a))) (/ (cbrt a) (sqrt b)))) (* b -2)))
29.0ms
(cbrt (- f n))

rewrite516.0ms (2.7%)

Algorithm
25×rewrite-expression-head
Calls

66 calls:

18.0ms
(/ (* 2.0 c) (+ (* 2.0 (* (* c (* (/ (cbrt a) (sqrt b)) (cbrt a))) (/ (cbrt a) (sqrt b)))) (* b -2)))
17.0ms
(log (sqrt (exp (/ (- (neg f) n) (- f n)))))
16.0ms
(* (sqrt (exp (- (* x x) 1.0))) (sqrt (exp (- (* x x) 1.0))))
15.0ms
(log (exp (/ (- (neg f) n) (- f n))))
14.0ms
(log (sqrt (exp (/ (- (neg f) n) (- f n)))))
Rules
656×*-un-lft-identity
622×add-sqr-sqrt
356×times-frac
317×add-cube-cbrt
213×add-exp-log
192×exp-prod
156×add-cbrt-cube
150×sqrt-prod
147×distribute-lft-out--
140×pow1 sqrt-pow1
122×difference-of-squares
115×log-pow
109×add-log-exp
78×associate-*r*
67×associate-*l*
66×prod-exp
65×distribute-rgt-neg-in
49×cbrt-prod flip-- flip3--
41×sqrt-div associate-/l*
40×cbrt-unprod
36×div-exp pow1/2
35×associate-/r*
30×pow-prod-down
26×cbrt-undiv
24×distribute-lft-neg-in sub-neg
23×unswap-sqr
22×exp-sum associate-/r/ distribute-lft-out
19×rem-sqrt-square
18×div-inv
16×cbrt-div associate-*l/
15×log-prod diff-log
12×associate-/l/ swap-sqr exp-diff
11×associate-*r/
10×pow1/3 *-commutative
9×clear-num div-sub pow-prod-up frac-2neg rem-exp-log
8×flip-+ flip3-+
7×pow-sqr
6×pow-unpow neg-mul-1 1-exp frac-times rec-exp
5×neg-sub0 frac-add sqrt-unprod pow-pow
4×distribute-rgt-in associate-+r+ sum-log distribute-lft-in neg-log unpow-prod-down
3×associate--l- rem-log-exp log-div
2×unpow-prod-up +-commutative distribute-neg-frac
1×pow2 pow-to-exp pow-exp frac-sub associate-+r- rem-square-sqrt pow-plus sub-div distribute-frac-neg associate-+l- pow-sub sqr-pow

localize360.0ms (1.9%)

bsearch184.0ms (1.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...