Details

sample31.0ms

Algorithm

intervals

Results

12.0ms

270×

body

valid

simplify44.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	8
1	35	8
2	60	8
3	103	8
4	183	8
5	416	8
6	1194	8
7	5001	8

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 6.1b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* y z) x)
0.0b	(- (* t z) x)
0.0b	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
7.7b	(/ (- (* y z) x) (- (* t z) x))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

42×	`*-un-lft-identity`
25×	`times-frac`
22×	`add-sqr-sqrt` `add-cube-cbrt`
10×	`distribute-lft-out`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
7×	`associate-/r` `associate-/l`
4×	`pow1` `flip3--` `associate-/r/` `flip--` `associate-/l/`
3×	`div-sub`
2×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `flip-+` `div-inv`
1×	`associate-+r-`

Counts

4 → 97

Calls

4 calls:

3.0ms	(- (* y z) x)
3.0ms	(- (* t z) x)
13.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
8.0ms	(/ (- (* y z) x) (- (* t z) x))

series64.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- (* y z) x)
5.0ms	(- (* t z) x)
36.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
18.0ms	(/ (- (* y z) x) (- (* t z) x))

simplify43.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	399	950
1	1413	884
2	5001	882

prune154.0ms

Filtered

78 candidates to 109 candidates (-39.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	100	9	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	9	110

Merged error: 0.7b

Counts

110 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* t z) x)
0.0b	(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
0.5b	(/ 1 (/ (- (* t z) x) (- (* y z) x)))
7.5b	(/ (- (* t z) x) (- (* y z) x))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

110×	`times-frac`
94×	`*-un-lft-identity`
67×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`associate-/r*`
19×	`add-exp-log`
16×	`distribute-lft-out`
13×	`associate-/r/` `add-cbrt-cube`
12×	`div-inv`
11×	`associate-/l*`
9×	`div-exp`
7×	`flip3--` `flip--`
6×	`add-log-exp`
5×	`pow1` `cbrt-undiv`
4×	`associate-/l/`
3×	`frac-2neg` `clear-num`
2×	`rec-exp` `flip3-+` `1-exp` `flip-+`
1×	`sub-neg` `pow-flip` `diff-log` `div-sub` `inv-pow`

Counts

4 → 173

Calls

4 calls:

4.0ms	(- (* t z) x)
21.0ms	(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
12.0ms	(/ 1 (/ (- (* t z) x) (- (* y z) x)))
8.0ms	(/ (- (* t z) x) (- (* y z) x))

series109.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- (* t z) x)
37.0ms	(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
39.0ms	(/ 1 (/ (- (* t z) x) (- (* y z) x)))
28.0ms	(/ (- (* t z) x) (- (* y z) x))

simplify75.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	633	2022
1	2917	1858
2	5002	1779

prune156.0ms

Filtered

104 candidates to 185 candidates (-77.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	184	1	185
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	185	9	194

Merged error: 0.7b

Counts

194 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ x (/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x)))) (+ x 1.0))
0.5b	(/ 1 (- (* t z) x))
0.7b	(/ 1 (- (* y z) x))
7.0b	(/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x)))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

547×	`times-frac`
274×	`*-un-lft-identity`
254×	`add-sqr-sqrt` `add-cube-cbrt`
71×	`associate-/r/`
54×	`add-exp-log`
37×	`div-exp`
36×	`div-inv`
34×	`flip3--` `flip--`
25×	`associate-/r` `associate-/l`
22×	`add-cbrt-cube`
11×	`cbrt-undiv`
10×	`rec-exp` `1-exp` `distribute-lft-out`
6×	`pow1`
4×	`frac-2neg` `clear-num` `add-log-exp`
3×	`associate-/l/`
2×	`pow-flip` `flip3-+` `flip-+` `inv-pow`

Counts

4 → 393

Calls

4 calls:

55.0ms	(/ (+ x (/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x)))) (+ x 1.0))
5.0ms	(/ 1 (- (* t z) x))
7.0ms	(/ 1 (- (* y z) x))
16.0ms	(/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x)))

series74.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(/ (+ x (/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x)))) (+ x 1.0))
6.0ms	(/ 1 (- (* t z) x))
6.0ms	(/ 1 (- (* y z) x))
23.0ms	(/ (/ 1 (- (* t z) x)) (/ 1 (- (* y z) x)))

simplify87.0ms

Algorithm

egg-herbie

Counts

405 → 405

Iterations

Useful iterations: 1 (34.0ms)

Iter	Nodes	Cost
0	1698	5903
1	5001	5378

prune418.0ms

Filtered

205 candidates to 405 candidates (-97.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	405	0	405
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	405	9	414

Merged error: 0.7b

Counts

414 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* t z) x)
0.1b	(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x))))
0.1b	(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x)))))
7.7b	(/ (- (* y z) x) (- (* t z) x))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

165×	`*-un-lft-identity`
155×	`times-frac`
81×	`add-sqr-sqrt` `add-cube-cbrt`
42×	`distribute-lft-out`
29×	`associate-/r*`
19×	`add-exp-log`
13×	`associate-/r/` `add-cbrt-cube`
10×	`associate-/l*`
9×	`div-exp`
7×	`div-inv`
6×	`flip3-+` `flip-+` `add-log-exp`
5×	`pow1` `cbrt-undiv`
4×	`associate-/l/`
3×	`flip3--` `frac-2neg` `clear-num` `flip--`
2×	`rec-exp` `1-exp`
1×	`sub-neg` `pow-flip` `diff-log` `div-sub` `inv-pow`

Counts

4 → 196

Calls

4 calls:

3.0ms	(- (* t z) x)
14.0ms	(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x))))
20.0ms	(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x)))))
8.0ms	(/ (- (* y z) x) (- (* t z) x))

series87.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- (* t z) x)
28.0ms	(/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x))))
36.0ms	(/ 1 (/ (+ x 1.0) (+ x (/ (- (* y z) x) (- (* t z) x)))))
17.0ms	(/ (- (* y z) x) (- (* t z) x))

simplify80.0ms

Algorithm

egg-herbie

Counts

208 → 208

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	631	2698
1	2895	2491
2	5001	2370

prune134.0ms

Filtered

104 candidates to 208 candidates (-100.0%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	208	0	208
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	208	9	217

Merged error: 0.7b

Counts

217 → 9

regimes482.0ms

Accuracy

58% (2.6b remaining)

Error of 3.6b against oracle of 1.0b and baseline of 7.2b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	21
1	32	21

end0.0ms

sample746.0ms

Algorithm

intervals

Results

384.0ms

8323×

body

valid

Details

sample31.0ms

simplify44.0ms

prune3.0ms

localize10.0ms

rewrite31.0ms

series64.0ms

simplify43.0ms

prune154.0ms

localize12.0ms

rewrite52.0ms

series109.0ms

simplify75.0ms

prune156.0ms

localize12.0ms

rewrite104.0ms

series74.0ms

simplify87.0ms

prune418.0ms

localize12.0ms

rewrite53.0ms

series87.0ms

simplify80.0ms

prune134.0ms

regimes482.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample746.0ms

Profiling