Date:Friday, July 3rd, 2020
Commit:8652dc03 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020185
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 (46.8%)

Algorithm
6×intervals
Results
758.0ms7529×body1280valid
403.0ms2865×body2560valid
328.0ms4397×body640valid
128.0ms7369×body80valid
111.0ms1816×body320valid
30.0ms792×body160valid

simplify1.9s (39.0%)

Algorithm
11×egg-herbie

analyze499.0ms (10.1%)

Algorithm
3×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
41.6%58.3%0.1%3
45.8%45.8%8.4%4
52.1%39.5%8.4%5
56.2%35.4%8.4%6
61.4%30.2%8.4%7
65.1%26.5%8.4%8
69.2%22.4%8.4%9
74.6%17%8.4%10
77%14.6%8.4%11
79.6%12%8.4%12
82.6%9%8.4%13
84.8%6.8%8.4%14

prune140.0ms (2.8%)

Filtered
89 candidates to 54 candidates (39.3%)

rewrite30.0ms (0.6%)

Algorithm
5×rewrite-expression-head
Calls

3 calls:

10.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
8.0ms
(* (+ x 1.0) (+ x 1.0))
6.0ms
(* x (+ x 2.0))
Rules
25×*-un-lft-identity
14×add-sqr-sqrt
12×pow1
9×add-cube-cbrt
8×associate-*r*
7×associate-*l* flip-+ flip3-+ add-cbrt-cube add-exp-log distribute-lft-out
6×swap-sqr
5×add-log-exp
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 sub-neg pow-plus flip-- diff-log pow-sqr pow-prod-up flip3-- difference-of-squares

series21.0ms (0.4%)

Calls

3 calls:

13.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
5.0ms
(* x (+ x 2.0))
2.0ms
(* (+ x 1.0) (+ x 1.0))

localize16.0ms (0.3%)

end0.0ms (0.0%)

Profiling

Loading profile data...