Details

sample83.0ms

Algorithm

intervals

Results

55.0ms	185×	body	1280	valid
7.0ms	272×	body	80	valid
6.0ms	39×	body	640	valid
2.0ms	15×	body	320	valid
1.0ms	9×	body	160	valid

simplify135.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	5
1	26	5
2	41	5
3	55	5
4	65	5
5	96	5
6	140	5
7	285	5
8	1642	5
9	5001	5

prune3.0ms

Filtered

1 candidates to 0 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: 29.1b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (exp x) 2.0)
4.3b	(+ (- (exp x) 2.0) (exp (neg x)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity` `add-log-exp`
4×	`add-sqr-sqrt` `frac-add`
3×	`flip3--` `flip--`
2×	`pow1` `add-exp-log` `neg-sub0` `exp-neg` `add-cube-cbrt` `sub-neg` `associate-+l+` `exp-diff` `diff-log` `sum-log` `add-cbrt-cube` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `flip3-+` `flip-+` `difference-of-squares`

Counts

2 → 35

Calls

2 calls:

4.0ms	(- (exp x) 2.0)
7.0ms	(+ (- (exp x) 2.0) (exp (neg x)))

series72.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(- (exp x) 2.0)
59.0ms	(+ (- (exp x) 2.0) (exp (neg x)))

simplify86.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 2 (18.0ms)

Iter	Nodes	Cost
0	209	282
1	694	269
2	3196	260
3	5001	260

prune118.0ms

Filtered

41 candidates to 29 candidates (70.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	38	3	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	3	42

Merged error: 0.0b

Counts

42 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
0.0b	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
0.0b	(* 1/360 (pow x 6))
0.1b	(* 1/12 (pow x 4))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
14×	`add-exp-log` `associate-r`
12×	`*-un-lft-identity`
11×	`add-log-exp`
10×	`add-cube-cbrt`
8×	`unpow-prod-down` `add-cbrt-cube`
6×	`associate-l` `prod-exp` `unswap-sqr`
4×	`pow1` `sum-log` `sqr-pow`
2×	`+-commutative` `pow-to-exp` `flip3-+` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+`
1×	`associate-+r+` `distribute-lft-out`

Counts

4 → 75

Calls

4 calls:

7.0ms	(+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
4.0ms	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
5.0ms	(* 1/360 (pow x 6))
5.0ms	(* 1/12 (pow x 4))

series287.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
139.0ms	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
48.0ms	(* 1/360 (pow x 6))
41.0ms	(* 1/12 (pow x 4))

simplify50.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	329	464
1	1456	438
2	5001	422

prune223.0ms

Filtered

87 candidates to 55 candidates (63.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	86	4	90

Merged error: 0b

Counts

90 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x)))) (- (- (exp x) 2.0) (exp (neg x))))
0.0b	(* (- (exp x) 2.0) (- (exp x) 2.0))
0.0b	(* (exp (neg x)) (exp (neg x)))
4.3b	(- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x))))

rewrite93.0ms

Algorithm

rewrite-expression-head

Rules

148×	`frac-sub`
144×	`frac-times`
121×	`exp-neg`
119×	`flip3--` `flip--`
104×	`neg-sub0` `exp-diff`
95×	`*-un-lft-identity`
76×	`exp-prod`
74×	`associate-/l/`
72×	`associate-r/` `associate-l/`
64×	`add-sqr-sqrt`
42×	`add-cube-cbrt`
24×	`distribute-rgt-neg-in` `times-frac`
21×	`distribute-lft-out--`
20×	`distribute-lft-neg-in`
18×	`pow1`
17×	`un-div-inv` `difference-of-squares`
16×	`pow-prod-down`
14×	`pow-sqr` `pow-prod-up`
10×	`swap-sqr` `add-cbrt-cube`
8×	`add-exp-log` `neg-mul-1` `associate-r` `associate-l`
6×	`associate-/r*` `associate-/r/` `add-log-exp`
5×	`sub-neg`
4×	`distribute-rgt-in` `distribute-lft-in` `associate--l+` `associate-/l*`
2×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

4 → 333

Calls

4 calls:

31.0ms	(/ (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x)))) (- (- (exp x) 2.0) (exp (neg x))))
10.0ms	(* (- (exp x) 2.0) (- (exp x) 2.0))
14.0ms	(* (exp (neg x)) (exp (neg x)))
15.0ms	(- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x))))

series322.0ms

Counts

4 → 12

Calls

4 calls:

173.0ms	(/ (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x)))) (- (- (exp x) 2.0) (exp (neg x))))
39.0ms	(* (- (exp x) 2.0) (- (exp x) 2.0))
16.0ms	(* (exp (neg x)) (exp (neg x)))
93.0ms	(- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x))))

simplify70.0ms

Algorithm

egg-herbie

Counts

345 → 345

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1267	5654
1	5002	5190

prune898.0ms

Filtered

345 candidates to 198 candidates (57.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	345	0	345
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	345	4	349

Merged error: 0b

Counts

349 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(- 2.0 (exp (neg x)))
3.8b	(- (exp x) (- 2.0 (exp (neg x))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity` `add-log-exp`
6×	`add-sqr-sqrt`
4×	`diff-log` `distribute-lft-out--`
3×	`sub-neg`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--` `associate--r+` `difference-of-squares`
1×	`associate--r-`

Counts

2 → 33

Calls

2 calls:

4.0ms	(- 2.0 (exp (neg x)))
7.0ms	(- (exp x) (- 2.0 (exp (neg x))))

series74.0ms

Counts

2 → 6

Calls

2 calls:

19.0ms	(- 2.0 (exp (neg x)))
55.0ms	(- (exp x) (- 2.0 (exp (neg x))))

simplify55.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	177	251
1	506	238
2	1941	235
3	5003	235

prune81.0ms

Filtered

39 candidates to 27 candidates (69.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	39	0	39
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	39	4	43

Merged error: 0b

Counts

43 → 4

regimes32.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	7
1	17	7

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.8s	5714×	body	1280	valid
208.0ms	1221×	body	640	valid
194.0ms	7967×	body	80	valid
63.0ms	622×	body	320	valid
18.0ms	276×	body	160	valid

Details

sample83.0ms

simplify135.0ms

prune3.0ms

localize6.0ms

rewrite12.0ms

series72.0ms

simplify86.0ms

prune118.0ms

localize10.0ms

rewrite23.0ms

series287.0ms

simplify50.0ms

prune223.0ms

localize10.0ms

rewrite93.0ms

series322.0ms

simplify70.0ms

prune898.0ms

localize10.0ms

rewrite11.0ms

series74.0ms

simplify55.0ms

prune81.0ms

regimes32.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.5s

Profiling