Details

Algorithm

intervals

Results

54.0ms	292×	body	80	valid
32.0ms	303×	body	80	nan

Counts

1 → 1

Iterations

Useful iterations: 5 (1.5s)

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

Local error

Found 2 expressions with local error:

0.0b	(- 1 (log t))
0.1b	(fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
14×	`add-sqr-sqrt`
12×	`prod-diff`
11×	`add-cube-cbrt`
6×	`pow1`
4×	`log-pow`
3×	`log-prod` `fma-neg` `associate--r+` `add-log-exp`
2×	`add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `distribute-lft-out--` `difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `fma-udef`

Counts

2 → 46

Calls

2 calls:

18.0ms	(- 1 (log t))
1.0ms	(fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))