Details

Counts

1 → 1

Iterations

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

Local error

Found 1 expressions with local error:

1.0b	(+ (* (/ (sqrt 3) -2) -1) (* 2 (sqrt 3)))

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`add-sqr-sqrt` `pow1` `+-commutative` `sum-log` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `insert-posit16`

Counts

1 → 12

Calls

1 calls:

10.0ms

(+ (* (/ (sqrt 3) -2) -1) (* 2 (sqrt 3)))

Counts

1 → 1

Calls

1 calls:

0.0ms

(+ (* (/ (sqrt 3) -2) -1) (* 2 (sqrt 3)))

Counts

13 → 13

Iterations

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

Iterations