Date:Tuesday, June 16th, 2020
Commit:4389a0c9 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020168
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

sample3.4s (61.6%)

Algorithm
6×intervals
Results
781.0ms7585×body1280valid
412.0ms2895×body2560valid
309.0ms4294×body640valid
131.0ms7341×body80valid
105.0ms1909×body320valid
26.0ms744×body160valid
sampling

Space saved by range analysis: 10.790993%

Space saved by search: 0.076709%

Guaranteed chance to sample good point: 0%

simplify1.8s (32.4%)

Algorithm
11×egg-herbie

prune193.0ms (3.5%)

Filtered
155 candidates to 97 candidates (37.4%)

rewrite52.0ms (0.9%)

Algorithm
5×rewrite-expression-head
Calls

6 calls:

11.0ms
(+ (* (+ x 1.0) x) (- (* 1.0 (+ x 1.0)) 1.0))
10.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
7.0ms
(* (+ x 1.0) (+ x 1.0))
6.0ms
(* x (+ 2.0 x))
6.0ms
(- (* 1.0 (+ x 1.0)) 1.0)
Rules
32×*-un-lft-identity
21×add-sqr-sqrt
17×pow1
15×add-log-exp
14×add-cube-cbrt
12×add-cbrt-cube add-exp-log
11×associate-*l* flip-+ flip3-+ associate-*r*
8×associate-*l/ distribute-lft-out
6×swap-sqr associate--l+
5×distribute-rgt-in distribute-lft-in
4×frac-add associate-*r/ associate-+r+ flip-- frac-times flip3--
3×prod-exp sub-neg diff-log pow-prod-down *-commutative cbrt-unprod unswap-sqr
2×sum-log
1×pow2 +-commutative associate-+r- pow-plus pow-sqr pow-prod-up difference-of-squares

series42.0ms (0.8%)

Calls

6 calls:

23.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
5.0ms
(+ (* (+ x 1.0) x) (- (* 1.0 (+ x 1.0)) 1.0))
5.0ms
(* x (+ 2.0 x))
4.0ms
(* (+ x 1.0) x)
3.0ms
(- (* 1.0 (+ x 1.0)) 1.0)

regimes25.0ms (0.4%)

Accuracy

Total 0.0b remaining (8.4%)

Threshold costs 0.0b (8.4%)

0.0b0%Expanding a square

localize19.0ms (0.4%)

bsearch0.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...