Details

sample33.0ms

Algorithm

intervals

Results

15.0ms	235×	body	80	valid
1.0ms	7×	body	1280	valid
1.0ms	6×	body	640	valid
0.0ms	5×	body	160	valid
0.0ms	3×	body	320	valid

simplify379.0ms

Counts

1 → 1

Iterations

Useful iterations: 5 (243.0ms)

Iter	Nodes	Cost
0	8	203
1	20	163
2	53	163
3	147	163
4	260	139
5	297	115
6	299	115
done	299	115

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma 3 x z)

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 3 x z)

series32.0ms

Counts

1 → 3

Calls

1 calls:

32.0ms

(fma 3 x z)

simplify3.3s

Counts

13 → 13

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	15	1473
1	21	1398
2	42	1398
3	103	1398
4	299	1398
5	1149	1398
done	5005	1398

prune57.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* 3 x) z)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `+-commutative` `sum-log` `fma-def` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+` `log1p-expm1-u`

Counts

1 → 14

Calls

1 calls:

12.0ms

(+ (* 3 x) z)

series41.0ms

Counts

1 → 3

Calls

1 calls:

41.0ms

(+ (* 3 x) z)

simplify5.0s

Counts

17 → 17

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	27	2871
1	89	2151
2	253	2126
3	872	2126
4	4903	2126
done	5000	2126

prune97.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize71.0ms

Local error

Found 4 expressions with local error:

2.0b	(+ (* (* 3 x) (* 3 x)) (- (* z z) (* (* 3 x) z)))
3.5b	(fma (* (* 3 x) (* 3 x)) (* 3 x) (* (* z z) z))
3.9b	(- (* z z) (* (* 3 x) z))
45.7b	(/ (fma (* (* 3 x) (* 3 x)) (* 3 x) (* (* z z) z)) (+ (* (* 3 x) (* 3 x)) (- (* z z) (* (* 3 x) z))))

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
11×	`add-log-exp`
9×	`times-frac`
6×	`add-cbrt-cube` `add-exp-log`
4×	`expm1-log1p-u` `pow1` `log1p-expm1-u`
3×	`associate-+r+` `associate-/r` `associate-/l`
2×	`sum-log` `sub-neg` `flip3-+` `diff-log` `prod-diff` `associate-/r/` `flip-+`
1×	`cbrt-undiv` `+-commutative` `clear-num` `associate-+r-` `fma-def` `frac-2neg` `flip3--` `distribute-rgt-out--` `fma-neg` `div-exp` `fma-udef` `div-inv` `flip--`

Counts

4 → 77

Calls

4 calls:

28.0ms	(+ (* (* 3 x) (* 3 x)) (- (* z z) (* (* 3 x) z)))
0.0ms	(fma (* (* 3 x) (* 3 x)) (* 3 x) (* (* z z) z))
8.0ms	(- (* z z) (* (* 3 x) z))
94.0ms	(/ (fma (* (* 3 x) (* 3 x)) (* 3 x) (* (* z z) z)) (+ (* (* 3 x) (* 3 x)) (- (* z z) (* (* 3 x) z))))

series380.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(+ (* (* 3 x) (* 3 x)) (- (* z z) (* (* 3 x) z)))
92.0ms	(fma (* (* 3 x) (* 3 x)) (* 3 x) (* (* z z) z))
78.0ms	(- (* z z) (* (* 3 x) z))
154.0ms	(/ (fma (* (* 3 x) (* 3 x)) (* 3 x) (* (* z z) z)) (+ (* (* 3 x) (* 3 x)) (- (* z z) (* (* 3 x) z))))

simplify2.1s

Counts

89 → 89

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	128	35721
1	326	29861
2	1301	29236
done	5002	28919

prune632.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes215.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	115
done	7	115

end0.0ms

sample1.2s

Algorithm

intervals

Results

444.0ms	88×	body	160	valid
397.0ms	7364×	body	80	valid
51.0ms	34×	body	2560	valid
40.0ms	185×	body	1280	valid
32.0ms	207×	body	640	valid
16.0ms	133×	body	320	valid