Details

analyze2.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

sample43.0ms

Algorithm

intervals

Results

19.0ms	59×	body	1280	valid
8.0ms	43×	body	640	valid
5.0ms	120×	body	80	valid
3.0ms	23×	body	320	valid
1.0ms	11×	body	160	valid

simplify50.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4797	10
1	4797	10

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 31.8b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1.0 (exp (* -2.0 x)))
0.0b	(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
3.6b	(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
17×	`add-sqr-sqrt`
13×	`times-frac`
12×	`add-cube-cbrt`
7×	`add-log-exp`
5×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
4×	`associate-/r*`
3×	`pow1` `associate-/l*`
2×	`flip3-+` `associate-/r/` `flip-+` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `clear-num` `sum-log` `flip--` `div-inv` `distribute-lft-out--`

Counts

3 → 59

Calls

3 calls:

3.0ms	(+ 1.0 (exp (* -2.0 x)))
5.0ms	(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
10.0ms	(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series16.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(+ 1.0 (exp (* -2.0 x)))
5.0ms	(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
8.0ms	(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify59.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5248	834

prune152.0ms

Filtered

53 candidates to 68 candidates (-28.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	4	69

Merged error: 0.1b

Counts

69 → 4

localize9.0ms

Local error

Found 1 expressions with local error:

0.1b	(* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `associate-l`
6×	`add-exp-log`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`unpow-prod-down` `cube-prod` `unswap-sqr`
3×	`associate-r` `prod-exp` `add-cbrt-cube`
2×	`associate-*r/` `sqr-pow`
1×	`pow1` `distribute-rgt-in` `cube-mult` `pow-to-exp` `distribute-lft-in` `flip3-+` `unpow3` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+` `add-log-exp`

Counts

1 → 35

Calls

1 calls:

8.0ms

(* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(* (pow x 3) (+ (* x 5.551115123125783e-17) 0.33333333333333337))

simplify59.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4950	411
1	4950	411

prune56.0ms

Filtered

24 candidates to 38 candidates (-58.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 0.1b

Counts

42 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (exp -2.0) x)
0.0b	(/ 2.0 (+ 1.0 (pow (exp -2.0) x)))
3.6b	(- (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 1.0)
3.6b	(log (exp (- (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 1.0)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

30×	`*-un-lft-identity`
28×	`add-sqr-sqrt`
18×	`add-cube-cbrt`
14×	`times-frac`
9×	`exp-prod`
7×	`log-pow`
6×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`log-prod` `pow-pow` `associate-/r*` `distribute-lft-out` `difference-of-squares`
3×	`unpow-prod-down` `pow-unpow` `associate-/l*`
2×	`sub-neg` `associate-/r/` `distribute-lft-out--`
1×	`cbrt-undiv` `pow-to-exp` `log-div` `flip3--` `frac-2neg` `flip3-+` `exp-diff` `diff-log` `div-exp` `rem-log-exp` `exp-sum` `pow-exp` `clear-num` `flip--` `flip-+` `div-inv` `sqr-pow`

Counts

4 → 87

Calls

4 calls:

3.0ms	(pow (exp -2.0) x)
6.0ms	(/ 2.0 (+ 1.0 (pow (exp -2.0) x)))
11.0ms	(- (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 1.0)
13.0ms	(log (exp (- (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 1.0)))

series33.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(pow (exp -2.0) x)
8.0ms	(/ 2.0 (+ 1.0 (pow (exp -2.0) x)))
11.0ms	(- (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 1.0)
12.0ms	(log (exp (- (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 1.0)))

simplify70.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4924	1109
1	4924	1109

prune192.0ms

Filtered

68 candidates to 99 candidates (-45.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	100	3	103

Merged error: 0.0b

Counts

103 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 2.0 (+ 1.0 (pow (exp -2.0) x)))
0.0b	(pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3)
3.6b	(- (cbrt (pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3)) 1.0)
3.6b	(log (exp (- (cbrt (pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3)) 1.0)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

62×	`add-sqr-sqrt`
56×	`*-un-lft-identity`
40×	`times-frac`
32×	`add-cube-cbrt`
22×	`unpow-prod-down` `cube-prod`
14×	`difference-of-squares`
12×	`cbrt-prod` `log-pow`
11×	`exp-prod`
10×	`distribute-lft-out`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `associate-/r/` `add-log-exp`
4×	`log-prod` `associate-/r*`
3×	`pow-unpow` `flip3-+` `flip-+` `div-inv` `associate-/l*` `sqr-pow`
2×	`cbrt-undiv` `sub-neg` `div-exp` `pow-exp` `distribute-lft-out--` `rem-cube-cbrt`
1×	`cube-div` `cube-mult` `pow-to-exp` `log-div` `flip3--` `pow-pow` `frac-2neg` `exp-diff` `diff-log` `unpow3` `rem-log-exp` `exp-sum` `clear-num` `flip--`

Counts

4 → 133

Calls

4 calls:

6.0ms	(/ 2.0 (+ 1.0 (pow (exp -2.0) x)))
8.0ms	(pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3)
20.0ms	(- (cbrt (pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3)) 1.0)
20.0ms	(log (exp (- (cbrt (pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3)) 1.0)))

series40.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ 2.0 (+ 1.0 (pow (exp -2.0) x)))
11.0ms	(pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3)
11.0ms	(- (cbrt (pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3)) 1.0)
11.0ms	(log (exp (- (cbrt (pow (/ 2.0 (+ 1.0 (pow (exp -2.0) x))) 3)) 1.0)))

simplify53.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5269	2041

prune268.0ms

Filtered

88 candidates to 145 candidates (-64.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	145	3	148

Merged error: 0.0b

Counts

148 → 3

regimes118.0ms

Accuracy

100% (0.0b remaining)

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

bsearch42.0ms

Steps

Iters	Range		Point
7	6.297751814995696e-05	0.004629586702448314	0.0010214095924717022
6	-0.0008246050008870929	-0.00018988231372676437	-0.0008164672020903739

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	37
1	36	37

end0.0ms

analyze1.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

sample1.1s

Algorithm

intervals

Results

456.0ms	1802×	body	1280	valid
219.0ms	1268×	body	640	valid
156.0ms	4012×	body	80	valid
70.0ms	587×	body	320	valid
27.0ms	331×	body	160	valid

Details

analyze2.0ms

sample43.0ms

simplify50.0ms

prune6.0ms

localize7.0ms

rewrite19.0ms

series16.0ms

simplify59.0ms

prune152.0ms

localize9.0ms

rewrite9.0ms

series8.0ms

simplify59.0ms

prune56.0ms

localize13.0ms

rewrite36.0ms

series33.0ms

simplify70.0ms

prune192.0ms

localize16.0ms

rewrite61.0ms

series40.0ms

simplify53.0ms

prune268.0ms

regimes118.0ms

bsearch42.0ms

simplify1.0ms

end0.0ms

analyze1.0ms

sample1.1s

Profiling