Date:Tuesday, June 30th, 2020
Commit:8ccfdff1 on old-regraph
Hostname:debbie with Racket 7.7
Seed:2020182
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

simplify8.4s (74.0%)

sample2.6s (23.3%)

Algorithm
6×intervals
Results
829.0ms7558×body1280valid
435.0ms2954×body2560valid
345.0ms4271×body640valid
213.0ms10175×body80valid
102.0ms1781×body320valid
31.0ms821×body160valid

prune183.0ms (1.6%)

Filtered
126 candidates to 75 candidates (40.5%)

rewrite39.0ms (0.3%)

Algorithm
5×rewrite-expression-head
Calls

5 calls:

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

regimes32.0ms (0.3%)

Accuracy

Total 0.0b remaining (92.1%)

Threshold costs 0.0b (92.1%)

0.0b0%Expanding a square

series30.0ms (0.3%)

Calls

5 calls:

14.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
6.0ms
(+ (pow x 2) (* 2.0 x))
5.0ms
(* x (+ x 2.0))
3.0ms
(pow x 2)
2.0ms
(* (+ x 1.0) (+ x 1.0))

localize18.0ms (0.2%)

bsearch0.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...