Details

Algorithm

6×

intervals

Results

Calls

2 calls:

62.0ms	(+ (* x x) (* x 2))
51.0ms	(* x (+ x 2))

Algorithm

4×	rewrite-expression-head

Calls

2 calls:

24.0ms	(* x (+ x 2))
8.0ms	(+ (* x x) (* x 2))

Rules

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

Accuracy

Total 0.0b remaining (97.8%)

Threshold costs 0.0b (97.8%)

0.0b