Date:Wednesday, June 17th, 2020
Commit:fb53a5c5 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020169
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

sample2.3s (38.8%)

Algorithm
6×intervals
Results
803.0ms7636×body1280valid
463.0ms2839×body2560valid
327.0ms4275×body640valid
149.0ms7334×body80valid
102.0ms1831×body320valid
29.0ms853×body160valid

simplify1.8s (30.2%)

Algorithm
11×egg-herbie

analyze1.6s (26.7%)

Algorithm
6×search
sampling

Space saved by range analysis: 0.076709%

Space saved by search: 10.790993%

Guaranteed chance to sample good point: 98.116629%

prune138.0ms (2.4%)

Filtered
105 candidates to 62 candidates (41.0%)

series34.0ms (0.6%)

Calls

4 calls:

22.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
5.0ms
(+ (* x 2.0) (pow x 2))
5.0ms
(* x (+ 2.0 x))
2.0ms
(* (+ x 1.0) (+ x 1.0))

rewrite32.0ms (0.6%)

Algorithm
5×rewrite-expression-head
Calls

4 calls:

10.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
7.0ms
(* (+ x 1.0) (+ x 1.0))
5.0ms
(* x (+ 2.0 x))
4.0ms
(+ (* x 2.0) (pow x 2))
Rules
26×*-un-lft-identity
15×add-sqr-sqrt
13×pow1
10×add-cube-cbrt
8×flip-+ flip3-+ add-cbrt-cube associate-*r* add-exp-log distribute-lft-out add-log-exp
7×associate-*l*
6×swap-sqr
4×associate-*r/ frac-times
3×distribute-rgt-in distribute-lft-in
2×prod-exp pow-prod-down associate-*l/ associate--l+ *-commutative cbrt-unprod unswap-sqr
1×pow2 +-commutative sum-log sub-neg pow-plus flip-- diff-log pow-sqr pow-prod-up flip3-- unpow2 difference-of-squares

regimes27.0ms (0.5%)

Accuracy

Total 0.0b remaining (95.3%)

Threshold costs 0.0b (95.3%)

0.0b0%Expanding a square

localize17.0ms (0.3%)

end0.0ms (0.0%)

bsearch0.0ms (0.0%)

Profiling

Loading profile data...