Details

Algorithm

intervals

Results

9.0ms

356×

body

valid

Counts

1 → 1

Iterations

Useful iterations: 3 (12.0ms)

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) (* 3 (* z z)))
0.2b	(* 3 (* z z))

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-sqr-sqrt` `add-log-exp`
3×	`add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+` `unswap-sqr`

Counts

2 → 30

Calls

2 calls:

3.0ms	(+ (* x y) (* 3 (* z z)))
6.0ms	(* 3 (* z z))

Counts

2 → 6

Calls

2 calls:

47.0ms	(+ (* x y) (* 3 (* z z)))
28.0ms	(* 3 (* z z))

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	57	370
1	167	340