Details

Algorithm

6×

intervals

Results

Calls

2 calls:

Slowest

55.0ms	(+ (* x x) (* x 2))
48.0ms	(* x (+ x 2))

Algorithm

4×	rewrite-expression-head

Calls

2 calls:

Slowest

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

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` `distribute-lft-out` `associate-*r/` `flip-+` `insert-posit16` `flip3-+` `log1p-expm1-u`
1×	`sum-log` `cbrt-unprod` `fma-def` `prod-exp` `unswap-sqr` `pow-prod-down` `distribute-rgt-in` `distribute-lft-in` `+-commutative` `*-commutative`

Accuracy

Total 0.0b remaining (91.6%)

Threshold costs 0.0b (91.6%)

0.0b