Details

Algorithm

6×

intervals

Results

Calls

2 calls:

56.0ms	(+ (* 2 x) (* x x))
54.0ms	(* x (+ 2 x))

Algorithm

4×	rewrite-expression-head

Calls

2 calls:

12.0ms	(* x (+ 2 x))
6.0ms	(+ (* 2 x) (* x x))

Rules

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

Accuracy

Total 0.0b remaining (92.6%)

Threshold costs 0.0b (92.6%)

0.0b