Details

sample15.0ms

Algorithm

intervals

Results

7.0ms

303×

body

valid

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 5 (27.0ms)

Iter	Nodes	Cost
0	5	7
1	11	7
2	25	7
3	41	7
4	64	7
5	90	6
6	126	6
7	146	6
8	169	6
9	182	6
10	194	6
11	213	6
12	238	6
13	284	6
14	391	6
15	527	6
16	620	6
17	653	6
18	655	6
done	655	6

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma (- 1 x) y x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma (- 1 x) y x)

series35.0ms

Counts

1 → 3

Calls

1 calls:

35.0ms

(fma (- 1 x) y x)

simplify1.0s

Counts

13 → 13

Iterations

Useful iterations: 3 (55.0ms)

Iter	Nodes	Cost
0	18	110
1	31	110
2	68	98
3	178	95
4	734	95
done	5001	95

prune27.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- y (* x y))
0.0b	(+ (- y (* x y)) x)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity`
9×	`add-log-exp`
6×	`add-sqr-sqrt` `add-cube-cbrt` `prod-diff`
5×	`associate-+l+`
4×	`fma-def`
3×	`fma-neg`
2×	`pow1` `add-exp-log` `expm1-log1p-u` `sub-neg` `distribute-rgt-out--` `diff-log` `sum-log` `add-cbrt-cube` `log1p-expm1-u`
1×	`+-commutative` `associate-+l-` `flip3--` `flip3-+` `flip--` `flip-+` `distribute-lft-out`

Counts

2 → 46

Calls

2 calls:

6.0ms	(- y (* x y))
28.0ms	(+ (- y (* x y)) x)

series51.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(- y (* x y))
18.0ms	(+ (- y (* x y)) x)

simplify2.6s

Counts

52 → 52

Iterations

Useful iterations: done (2.6s)

Iter	Nodes	Cost
0	67	451
1	166	429
2	482	395
3	1882	365
done	5000	334

prune141.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes34.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	7	6
done	7	6

end0.0ms

sample554.0ms

Algorithm

intervals

Results

351.0ms	9124×	body	80	valid
0.0ms	1×	body	640	valid