Details

sample24.0ms

Algorithm

intervals

Results

10.0ms

332×

body

valid

simplify6.5s

Counts

1 → 1

Iterations

Useful iterations: 3 (10.0ms)

Iter	Nodes	Cost
0	8	164
1	14	164
2	26	164
3	49	139
4	79	139
5	122	139
6	187	139
7	317	139
8	462	139
9	609	139
10	920	139
11	1438	139
12	2216	139
13	3507	139
done	5001	139

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 1 expressions with local error:

5.7b	(fma (/ (- y x) t) z x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma (/ (- y x) t) z x)

series46.0ms

Counts

1 → 3

Calls

1 calls:

46.0ms

(fma (/ (- y x) t) z x)

simplify2.4s

Counts

13 → 13

Iterations

Useful iterations: 3 (55.0ms)

Iter	Nodes	Cost
0	23	2767
1	44	2767
2	83	2767
3	215	2452
4	1062	2452
done	5003	2452

prune66.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (fma (/ (- y x) t) z x))
5.7b	(fma (/ (- y x) t) z x)
5.7b	(fma (/ (- y x) t) z x)
5.7b	(fma (/ (- y x) t) z x)

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 43

Calls

4 calls:

1.0ms	(cbrt (fma (/ (- y x) t) z x))
0.0ms	(fma (/ (- y x) t) z x)
0.0ms	(fma (/ (- y x) t) z x)
0.0ms	(fma (/ (- y x) t) z x)

series520.0ms

Counts

4 → 12

Calls

4 calls:

343.0ms	(cbrt (fma (/ (- y x) t) z x))
65.0ms	(fma (/ (- y x) t) z x)
55.0ms	(fma (/ (- y x) t) z x)
57.0ms	(fma (/ (- y x) t) z x)

simplify2.1s

Counts

55 → 55

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	93	15178
1	202	14782
2	498	14717
3	1590	13473
done	5003	13308

prune435.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize111.0ms

Local error

Found 4 expressions with local error:

5.7b	(fma (/ (- y x) t) z x)
5.7b	(fma (/ (- y x) t) z x)
5.7b	(fma (/ (- y x) t) z x)
5.7b	(fma (/ (- y x) t) z x)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

0.0ms	(fma (/ (- y x) t) z x)
1.0ms	(fma (/ (- y x) t) z x)
1.0ms	(fma (/ (- y x) t) z x)
1.0ms	(fma (/ (- y x) t) z x)

series215.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(fma (/ (- y x) t) z x)
62.0ms	(fma (/ (- y x) t) z x)
47.0ms	(fma (/ (- y x) t) z x)
48.0ms	(fma (/ (- y x) t) z x)

simplify2.3s

Counts

52 → 52

Iterations

Useful iterations: 3 (76.0ms)

Iter	Nodes	Cost
0	23	11068
1	44	11068
2	83	11068
3	215	9808
4	1062	9808
done	5003	9808

prune345.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize109.0ms

Local error

Found 4 expressions with local error:

5.7b	(fma (/ (- y x) t) z x)
5.7b	(fma (/ (- y x) t) z x)
5.7b	(fma (/ (- y x) t) z x)
5.7b	(fma (/ (- y x) t) z x)

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

0.0ms	(fma (/ (- y x) t) z x)
0.0ms	(fma (/ (- y x) t) z x)
0.0ms	(fma (/ (- y x) t) z x)
0.0ms	(fma (/ (- y x) t) z x)

series191.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(fma (/ (- y x) t) z x)
47.0ms	(fma (/ (- y x) t) z x)
56.0ms	(fma (/ (- y x) t) z x)
46.0ms	(fma (/ (- y x) t) z x)

simplify2.3s

Counts

52 → 52

Iterations

Useful iterations: 3 (48.0ms)

Iter	Nodes	Cost
0	23	11068
1	44	11068
2	83	11068
3	215	9808
4	1062	9808
done	5003	9808

prune388.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes466.0ms

Accuracy

80.7% (1.3b remaining)

Error of 1.3b against oracle of 0.1b and baseline of 6.6b

bsearch1.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	521
1	21	521
done	21	521

end0.0ms

sample955.0ms

Algorithm

intervals

Results

531.0ms

10693×

body

valid