Date:	Thursday, May 7th, 2020
Commit:	0fcb7b8e on separate-biginterval
Hostname:	warfa with Racket 7.5
Seed:	2020128
Parameters:	256 points for 4 iterations
Flags:	`setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback` default

Details

sample2.8s (58.9%)

Algorithm

6×

intervals

Results

680.0ms	7647×	body	1280	valid
406.0ms	2897×	body	2560	valid
282.0ms	4215×	body	640	valid
152.0ms	10150×	body	80	valid
80.0ms	1829×	body	320	valid
23.0ms	831×	body	160	valid

series746.0ms (15.6%)

Calls

8 calls:

436.0ms	(/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
60.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
55.0ms	(+ (* x 2.0) (pow x 2))
54.0ms	(+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))
46.0ms	(* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))

simplify563.0ms (11.7%)

Algorithm

12×	egg-herbie

prune469.0ms (9.8%)

Filtered: 232 candidates to 157 candidates (67.7%)

rewrite137.0ms (2.9%)

Algorithm

6×	rewrite-expression-head

Calls

8 calls:

39.0ms	(/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
16.0ms	(* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
16.0ms	(+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))
11.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
8.0ms	(* (+ x 1.0) (+ x 1.0))

Rules

68×	`*-un-lft-identity`
35×	`add-sqr-sqrt`
33×	`flip-+` `flip3-+`
28×	`add-cube-cbrt`
22×	`associate-*r/`
20×	`distribute-lft-out` `pow1`
17×	`add-exp-log`
16×	`frac-times` `add-log-exp` `add-cbrt-cube`
15×	`times-frac`
12×	`cube-div` `associate-r` `frac-add`
11×	`associate-l`
6×	`swap-sqr`
5×	`distribute-rgt-neg-in` `associate-/l*`
4×	`unpow-prod-down` `distribute-rgt-in` `associate-*l/` `distribute-lft-in`
3×	`-commutative` `unswap-sqr` `pow-unpow` `sum-log` `prod-exp` `pow-prod-down` `cbrt-unprod` `associate-/r`
2×	`associate-+l-` `+-commutative` `neg-sub0` `associate-/r/` `associate-/l/` `associate--l+`
1×	`cbrt-undiv` `pow-to-exp` `unpow3` `pow-sqr` `distribute-rgt-out` `div-sub` `pow-plus` `flip3--` `difference-of-squares` `pow2` `sub-neg` `pow-prod-up` `clear-num` `pow-exp` `frac-2neg` `div-inv` `neg-log` `div-exp` `sqr-pow` `unpow2` `pow-pow` `diff-log` `flip--`

localize31.0ms (0.7%)

regimes22.0ms (0.5%)

Accuracy

Total 0.0b remaining (60.4%)

Threshold costs 0.0b (60.4%)

0.0b

0%

Expanding a square

end0.0ms (0.0%)

bsearch0.0ms (0.0%)

Profiling

Loading profile data...