Details

Algorithm

6×

intervals

Results

Calls

2 calls:

61.0ms	(+ (* x x) (* 2 x))
58.0ms	(* x (+ x 2))

Algorithm

4×	rewrite-expression-head

Calls

2 calls:

15.0ms	(* x (+ x 2))
7.0ms	(+ (* x x) (* 2 x))

Rules

6×	`*-un-lft-identity` `add-sqr-sqrt`
4×	`add-cube-cbrt` `add-log-exp` `add-cbrt-cube` `associate-r` `pow1` `add-exp-log`
3×	`associate-l`
2×	`insert-posit16` `associate-*r/` `flip-+` `flip3-+`
1×	`sum-log` `distribute-lft-in` `distribute-lft-out` `unswap-sqr` `pow-prod-down` `distribute-rgt-in` `+-commutative` `cbrt-unprod` `*-commutative` `prod-exp` `distribute-rgt-out`

Accuracy

Total 0.0b remaining (93.7%)

Threshold costs 0.0b (93.7%)

0.0b