Date:Thursday, July 2nd, 2020
Commit:47d1d61e on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020184
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

sample5.7s (33.0%)

Algorithm
18×intervals
Results
3.4s70121×body80valid
734.0ms4178×body1280valid
118.0ms1997×body80invalid
109.0ms1286×body80nan
0.0ms5×body160valid

simplify4.0s (23.3%)

Algorithm
41×egg-herbie

prune2.9s (16.8%)

Filtered
1751 candidates to 1138 candidates (35.0%)

analyze1.7s (9.7%)

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 (6.9%)

Accuracy

Total 5.1b remaining (31.8%)

Threshold costs 0.5b (3.3%)

1.8b87.1%jeff quadratic root 1
1.7b0%fabs fraction 1
1.1b93.3%jeff quadratic root 2
0.5b0%sqrt times
0.0b0%neg log

series717.0ms (4.1%)

Calls

58 calls:

29.0ms
(/ (* 2.0 c) (+ (neg b) (- (* (* (cbrt a) (cbrt a)) (* c (* (/ 2.0 b) (cbrt a)))) b)))
28.0ms
(/ (* 2.0 c) (+ (neg b) (- (* a (* c (/ 2.0 b))) b)))
26.0ms
(* c (* (/ 2.0 b) (cbrt a)))
25.0ms
(+ (log (+ (sqrt 1.0) (/ (sqrt 1.0) (sqrt x)))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))))
24.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite583.0ms (3.4%)

Algorithm
23×rewrite-expression-head
Calls

58 calls:

36.0ms
(* (/ 1 (sqrt (- n f))) (/ (+ f n) (sqrt (- n f))))
35.0ms
(+ (log (+ (sqrt 1.0) (/ (sqrt 1.0) (sqrt x)))) (log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0))))
22.0ms
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
20.0ms
(log (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0)))
18.0ms
(/ (+ f n) (- n f))
Rules
628×*-un-lft-identity
594×add-sqr-sqrt
508×times-frac
354×add-cube-cbrt
292×add-exp-log
248×sqrt-prod
217×add-cbrt-cube
155×pow1
110×prod-exp
109×add-log-exp
91×associate-/r*
88×cbrt-unprod
85×distribute-lft-out
79×associate-*r*
70×associate-*l* difference-of-squares
51×distribute-lft-out--
50×div-exp pow-prod-down
48×associate-/l*
38×cbrt-undiv log-prod
34×sqrt-div
33×flip-- flip3--
31×associate-/r/
26×unswap-sqr
25×flip-+ flip3-+
24×div-inv
17×associate-*r/
16×associate-+r+ sqrt-pow1
15×clear-num pow1/2 diff-log frac-2neg
13×sum-log sub-neg
12×associate-/l/ associate-*l/
11×rem-sqrt-square *-commutative
8×log-div distribute-rgt-neg-in
7×+-commutative
6×1-exp rec-exp log-pow
5×associate-+r- associate-+l-
4×neg-sub0 associate-+l+ neg-log pow-flip
3×pow-to-exp pow-exp frac-times
2×rem-log-exp sqrt-undiv frac-sub inv-pow sub-div div-sub
1×associate--l- sqrt-unprod un-div-inv associate--r+

localize329.0ms (1.9%)

bsearch151.0ms (0.9%)

end0.0ms (0.0%)

Profiling

Loading profile data...