Details

simplify8.4s (60.1%)

sample4.8s (34.1%)

Algorithm

6×

intervals

Results

1.3s	7636×	body	1280	valid
1.2s	2892×	body	2560	valid
703.0ms	4249×	body	640	valid
582.0ms	10159×	body	80	valid
215.0ms	1874×	body	320	valid
31.0ms	811×	body	160	valid

rewrite369.0ms (2.6%)

Algorithm

4×	rewrite-expression-head

Calls

3 calls:

289.0ms	(- (+ (+ x y) z) (+ x (+ y z)))
37.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
34.0ms	(* (+ x 1.0) (+ x 1.0))

Rules

124×	`*-un-lft-identity`
57×	`distribute-lft-out`
41×	`add-log-exp`
28×	`prod-diff`
24×	`add-sqr-sqrt`
19×	`add-cube-cbrt`
18×	`sum-log`
10×	`diff-log` `pow1` `flip3-+` `flip-+`
9×	`distribute-lft-out--`
6×	`fma-neg` `swap-sqr`
5×	`add-exp-log` `add-cbrt-cube`
4×	`associate-r` `frac-sub` `associate-l` `frac-times`
3×	`log1p-expm1-u` `associate--l+` `expm1-log1p-u`
2×	`flip--` `distribute-rgt-in` `associate-r/` `associate-l/` `flip3--` `sub-neg` `difference-of-squares` `distribute-lft-in`
1×	`pow-prod-down` `unswap-sqr` `*-commutative` `prod-exp` `pow-sqr` `pow2` `cbrt-unprod` `associate--r+` `pow-plus` `pow-prod-up`

prune286.0ms (2.0%)

series120.0ms (0.9%)

Calls

3 calls:

83.0ms	(- (* (+ x 1.0) (+ x 1.0)) 1.0)
24.0ms	(* (+ x 1.0) (+ x 1.0))
13.0ms	(- (+ (+ x y) z) (+ x (+ y z)))

localize31.0ms (0.2%)

end0.0ms (0.0%)