Details

analyze2.0s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
31.2%	68.7%	0.1%	7
34.3%	65.6%	0.1%	8
37.5%	59.3%	3.2%	9
42.9%	53.5%	3.6%	10
44.5%	50%	5.6%	11
47.8%	45.8%	6.4%	12
48.7%	43.7%	7.6%	13
50.5%	41.3%	8.2%	14

sample144.0ms

Algorithm

intervals

Results

51.0ms	214×	body	80	valid
42.0ms	197×	body	80	invalid
15.0ms	16×	body	640	valid
8.0ms	12×	body	320	valid
8.0ms	7×	body	1280	valid
3.0ms	7×	body	160	valid

simplify438.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5066	111

prune32.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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: 0.5b

Counts

2 → 2

localize39.0ms

Local error

Found 4 expressions with local error:

2.5b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
3.8b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
5.5b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
5.6b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-exp-log` `add-cbrt-cube`
26×	`add-sqr-sqrt`
24×	`associate-r`
23×	`associate-*r/`
22×	`*-un-lft-identity`
18×	`pow1`
16×	`times-frac`
15×	`prod-exp` `cbrt-unprod`
14×	`add-cube-cbrt`
11×	`flip3--` `flip--`
10×	`frac-add`
9×	`pow-prod-down`
8×	`add-log-exp`
7×	`sub-neg`
5×	`difference-of-squares`
4×	`frac-times` `distribute-lft-out--`
3×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `div-exp`
2×	`associate-+l+` `associate-+r+` `flip3-+` `associate-l` `associate-l/` `associate-/r/` `-commutative` `flip-+`
1×	`+-commutative` `associate--l-` `diff-log` `div-sub` `sum-log` `div-inv` `unswap-sqr`

Counts

4 → 109

Calls

4 calls:

33.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
16.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
16.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
23.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series120.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
14.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
10.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
29.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify59.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5199	6030

prune865.0ms

Filtered

90 candidates to 121 candidates (-34.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	112	9	121
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	113	10	123

Merged error: 0.4b

Counts

123 → 10

localize52.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
2.5b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0)))))
3.8b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
5.5b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-exp-log` `add-cbrt-cube`
30×	`add-sqr-sqrt`
27×	`associate-r`
24×	`*-un-lft-identity`
23×	`prod-exp` `cbrt-unprod`
22×	`pow1`
17×	`times-frac`
16×	`associate-*r/`
14×	`add-cube-cbrt`
12×	`pow-prod-down`
11×	`add-log-exp`
10×	`frac-add`
7×	`flip3--` `flip3-+` `flip--` `flip-+` `difference-of-squares`
6×	`frac-times`
5×	`cbrt-undiv` `sub-neg` `div-exp` `distribute-lft-out--`
3×	`associate-*l/` `sum-log`
2×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `associate-l` `associate-/r/` `*-commutative` `distribute-rgt-neg-out`
1×	`+-commutative` `associate--l-` `associate-+r-` `associate-+r+` `diff-log` `div-sub` `unsub-neg` `div-inv`

Counts

4 → 122

Calls

4 calls:

32.0ms	(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
54.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0)))))
16.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
17.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series128.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
68.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0)))))
14.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
11.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify83.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4954	7314
1	4954	7314

prune953.0ms

Filtered

95 candidates to 134 candidates (-41.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	131	3	134
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	133	11	144

Merged error: 0.3b

Counts

144 → 11

localize43.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x1 (* x1 3.0))
0.2b	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))))))
2.5b	(+ (* x1 (* x1 (* (+ (* x1 x1) 1.0) (- (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ 4.0 (+ (* x1 x1) 1.0))) 6.0)))) (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)))))))
3.8b	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

144×	`associate-*r/`
40×	`frac-add`
38×	`frac-times`
35×	`flip3-+` `flip-+`
21×	`add-exp-log` `add-cbrt-cube`
20×	`distribute-rgt-in` `distribute-lft-in`
19×	`associate-*l/`
18×	`associate-l`
17×	`add-sqr-sqrt`
16×	`flip3--` `flip--`
14×	`pow1` `*-un-lft-identity`
12×	`add-cube-cbrt`
10×	`times-frac`
9×	`sub-neg` `prod-exp` `cbrt-unprod`
8×	`associate-+l+` `add-log-exp`
6×	`pow-prod-down`
4×	`associate-+r+`
2×	`cbrt-undiv` `div-exp` `associate-r` `associate-/r/` `*-commutative` `difference-of-squares`
1×	`+-commutative` `associate--l-` `associate-+r-` `diff-log` `div-sub` `sum-log` `div-inv` `distribute-lft-out--`

Counts

4 → 139

Calls

4 calls:

5.0ms	(* x1 (* x1 3.0))
17.0ms	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))))))
29.0ms	(+ (* x1 (* x1 (* (+ (* x1 x1) 1.0) (- (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ 4.0 (+ (* x1 x1) 1.0))) 6.0)))) (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)))))))
16.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

series195.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* x1 (* x1 3.0))
58.0ms	(* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))))))
119.0ms	(+ (* x1 (* x1 (* (+ (* x1 x1) 1.0) (- (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ 4.0 (+ (* x1 x1) 1.0))) 6.0)))) (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)))))))
14.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

simplify85.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5012	15887

prune1.8s

Filtered

122 candidates to 151 candidates (-23.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	146	5	151
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	151	11	162

Merged error: 0.3b

Counts

162 → 11

localize43.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x1 (* x1 3.0))
0.2b	(* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))))) (+ (* x1 x1) 1.0)))
2.5b	(+ (* x1 (* x1 (* (+ (* x1 x1) 1.0) (- (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ 4.0 (+ (* x1 x1) 1.0))) 6.0)))) (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))))) (+ (* x1 x1) 1.0))))
3.8b	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

99×	`associate-*r/`
40×	`frac-add`
38×	`frac-times`
35×	`flip3-+` `flip-+`
28×	`associate-*l/`
18×	`add-exp-log` `add-cbrt-cube`
16×	`flip3--` `flip--`
15×	`add-sqr-sqrt`
12×	`distribute-rgt-in` `distribute-lft-in`
11×	`pow1`
10×	`-un-lft-identity` `associate-r*`
9×	`sub-neg`
8×	`add-cube-cbrt` `associate-+l+` `add-log-exp`
7×	`prod-exp` `cbrt-unprod`
6×	`associate-l`
4×	`times-frac` `pow-prod-down`
2×	`cbrt-undiv` `div-exp` `associate-/r/` `*-commutative` `difference-of-squares`
1×	`+-commutative` `associate--l-` `associate-+r-` `diff-log` `div-sub` `sum-log` `div-inv` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 125

Calls

4 calls:

5.0ms	(* x1 (* x1 3.0))
20.0ms	(* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))))) (+ (* x1 x1) 1.0)))
28.0ms	(+ (* x1 (* x1 (* (+ (* x1 x1) 1.0) (- (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ 4.0 (+ (* x1 x1) 1.0))) 6.0)))) (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))))) (+ (* x1 x1) 1.0))))
16.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

series195.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* x1 (* x1 3.0))
59.0ms	(* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))))) (+ (* x1 x1) 1.0)))
119.0ms	(+ (* x1 (* x1 (* (+ (* x1 x1) 1.0) (- (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ 4.0 (+ (* x1 x1) 1.0))) 6.0)))) (* (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (/ (* x1 (+ (* x1 3.0) (* 2.0 (* (+ (* x1 x1) 1.0) (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))))) (+ (* x1 x1) 1.0))))
14.0ms	(- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)

simplify72.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5286	12635

prune1.3s

Filtered

114 candidates to 137 candidates (-20.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	137	11	148

Merged error: 0.3b

Counts

148 → 11

regimes374.0ms

Accuracy

0% (0.2b remaining)

Error of 0.5b against oracle of 0.4b and baseline of 0.5b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	111
1	60	111

end0.0ms

analyze1.8s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
31.2%	68.7%	0.1%	7
34.3%	65.6%	0.1%	8
37.5%	59.3%	3.2%	9
42.9%	53.5%	3.6%	10
44.5%	50%	5.6%	11
47.8%	45.8%	6.4%	12
48.7%	43.7%	7.6%	13
50.5%	41.3%	8.2%	14

sample3.7s

Algorithm

intervals

Results

1.5s	6918×	body	80	valid
1.2s	5654×	body	80	invalid
360.0ms	427×	body	640	valid
202.0ms	190×	body	1280	valid
185.0ms	294×	body	320	valid
75.0ms	171×	body	160	valid

Details

analyze2.0s

sample144.0ms

simplify438.0ms

prune32.0ms

localize39.0ms

rewrite95.0ms

series120.0ms

simplify59.0ms

prune865.0ms

localize52.0ms

rewrite125.0ms

series128.0ms

simplify83.0ms

prune953.0ms

localize43.0ms

rewrite79.0ms

series195.0ms

simplify85.0ms

prune1.8s

localize43.0ms

rewrite76.0ms

series195.0ms

simplify72.0ms

prune1.3s

regimes374.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze1.8s

sample3.7s

Profiling