Date:Thursday, July 9th, 2020
Commit:581c4e77 on evaluate-error-intervals
Hostname:warfa with Racket 7.5
Seed:2020191
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample9.9s (44.7%)

Algorithm
18×intervals
Results
3.1s70181×body80valid
703.0ms4115×body1280valid
0.0ms8×body160valid

simplify3.8s (17.2%)

Algorithm
45×egg-herbie

prune3.4s (15.5%)

Filtered
2131 candidates to 1433 candidates (32.8%)

analyze1.8s (8.2%)

Algorithm
9×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
11.1%88.8%0.1%1
11.1%83.3%5.6%2
19.4%69.4%11.2%3
31.9%51.3%16.8%4
35.4%45.1%19.5%5
45.1%34%20.9%6
50.7%26.4%23%7
53.3%23.4%23.3%8
57.6%18.3%24.1%9
59.6%15.1%25.4%10
61.3%12.9%25.8%11
63.2%10%26.8%12
64.2%8.2%27.6%13
64.9%6.9%28.2%14

regimes1.2s (5.3%)

Accuracy

Total 2.9b remaining (20.4%)

Threshold costs 0.5b (3.7%)

1.2b91.6%jeff quadratic root 1
1.2b91.5%jeff quadratic root 2
0.4b0%sqrt times
0.1b97.7%fabs fraction 1
0.0b0%exp neg sub

series878.0ms (4.0%)

Calls

69 calls:

36.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)))))))
26.0ms
(cbrt (- (* b b) (* 4.0 (* a c))))
26.0ms
(cbrt (- (* b b) (* 4.0 (* a c))))
24.0ms
(cbrt (- (* b b) (* 4.0 (* a c))))

rewrite571.0ms (2.6%)

Algorithm
27×rewrite-expression-head
Calls

69 calls:

21.0ms
(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
20.0ms
(log (/ (exp (/ n (+ n f))) (exp (/ f (+ n f)))))
18.0ms
(/ (exp (/ n (+ n f))) (exp (/ f (+ n f))))
15.0ms
(/ (* 1.0 (- (/ 1.0 (* x x)) 1.0)) (+ 1.0 (/ 1.0 x)))
14.0ms
(/ 1 (log (exp (/ (- n f) (+ n f)))))
Rules
951×*-un-lft-identity
764×times-frac
745×add-sqr-sqrt
527×add-cube-cbrt
212×exp-prod
188×cbrt-prod
150×add-exp-log
143×log-pow
136×add-log-exp
132×add-cbrt-cube
118×distribute-lft-out
116×pow1 associate-/r*
113×sqrt-prod
83×unpow-prod-down
78×difference-of-squares
77×associate-/l* distribute-lft-out--
54×sqrt-div
46×flip-- associate-*r* flip3--
44×associate-/r/
39×div-exp associate-*l*
35×cube-prod div-inv
31×flip-+ flip3-+
26×cbrt-undiv cbrt-div
23×diff-log
21×sqr-pow
20×sqrt-pow1 unswap-sqr
19×pow1/2
16×rem-sqrt-square log-prod clear-num frac-2neg
15×sub-neg swap-sqr
14×pow1/3 associate-/l/ pow-div
13×prod-exp
11×sum-log cbrt-unprod
9×neg-sub0 pow-prod-down neg-log associate-*l/
8×associate-*r/ pow-pow
7×associate--l-
6×pow-unpow distribute-rgt-neg-in 1-exp frac-times rec-exp
5×+-commutative div-sub cube-mult *-commutative unpow3
4×associate-+r- rem-exp-log
3×rem-log-exp pow-to-exp pow-exp associate-+r+ inv-pow pow-flip exp-diff
2×log-div pow-sqr pow-prod-up associate-+l-
1×pow2 exp-sum frac-sub pow-plus sqrt-unprod sub-div un-div-inv rem-cbrt-cube associate--r+

localize381.0ms (1.7%)

bsearch162.0ms (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...