Details

analyze4.5s

Algorithm

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
0%	25%	75%	2
0%	25%	75%	3
0%	25%	75%	4
0%	25%	75%	5
0%	25%	75%	6
0%	25%	75%	7
0%	25%	75%	8
1.6%	23.4%	75%	9
1.6%	23.4%	75%	10
1.6%	23.4%	75%	11
1.6%	23.4%	75%	12
1.6%	23.4%	75%	13
1.6%	23.4%	75%	14

sample5.6s

Algorithm

intervals

Results

3.6s	493×	body	5120	exit
731.0ms	272×	body	1280	overflowed
465.0ms	2141×	body	80	overflowed
380.0ms	262×	body	640	overflowed
94.0ms	112×	body	320	overflowed
86.0ms	3602×	pre	80	true
33.0ms	250×	body	80	valid
30.0ms	66×	body	160	overflowed
8.0ms	1×	body	5120	valid
3.0ms	1×	body	1280	valid
1.0ms	3×	body	160	valid
1.0ms	1×	body	640	valid

simplify47.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5092	43

prune11.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: 5.8b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
0.5b	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
1.9b	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
2.7b	(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

556×	`add-exp-log`
312×	`prod-exp`
264×	`pow-exp`
249×	`div-exp`
184×	`pow-to-exp`
36×	`unpow-prod-down` `*-un-lft-identity`
27×	`add-sqr-sqrt`
26×	`times-frac`
22×	`add-cube-cbrt`
16×	`add-cbrt-cube`
6×	`pow1` `pow-unpow` `distribute-lft-out` `add-log-exp`
4×	`cbrt-undiv` `associate-/r/` `cbrt-unprod`
3×	`div-inv`
2×	`pow-pow` `flip3-+` `flip-+` `difference-of-squares` `sqr-pow`
1×	`sub-neg` `flip3--` `frac-2neg` `diff-log` `clear-num` `associate-/r` `flip--` `associate-/l` `distribute-lft-out--`

Counts

4 → 266

Calls

4 calls:

14.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
7.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
7.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
42.0ms	(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

series219.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
14.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
15.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
183.0ms	(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

simplify109.0ms

Algorithm

egg-herbie

Counts

278 → 278

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5002	9443

prune301.0ms

Filtered

75 candidates to 278 candidates (-270.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	273	5	278
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	274	5	279

Merged error: 0.1b

Counts

279 → 5

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (* s 0.5) (- c_p c_n))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`add-sqr-sqrt` `*-un-lft-identity`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-cube-cbrt` `sub-neg` `associate-*r/`
1×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-l` `*-commutative` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares`

Counts

1 → 24

Calls

1 calls:

7.0ms

(* (* s 0.5) (- c_p c_n))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(* (* s 0.5) (- c_p c_n))

simplify39.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5017	220

prune49.0ms

Filtered

16 candidates to 27 candidates (-68.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	27	5	32

Merged error: 0.1b

Counts

32 → 5

localize30.0ms

Local error

Found 4 expressions with local error:

0.5b	(log (/ 1.0 (+ 1.0 (exp (neg s)))))
2.1b	(log (/ 1.0 (+ 1.0 (exp (neg t)))))
9.8b	(- (log (/ 1.0 (+ 1.0 (exp (neg s))))) (log (/ 1.0 (+ 1.0 (exp (neg t))))))
9.8b	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

84×	`log-prod`
74×	`*-un-lft-identity`
52×	`add-sqr-sqrt`
50×	`times-frac`
38×	`add-cube-cbrt`
24×	`associate--l+` `associate--r+`
14×	`pow1`
12×	`distribute-lft-out`
10×	`add-exp-log` `log-pow` `distribute-lft-out--`
8×	`log-div` `associate-/r/`
6×	`difference-of-squares`
4×	`flip3--` `flip3-+` `rem-log-exp` `add-cbrt-cube` `flip--` `flip-+` `div-inv` `add-log-exp`
3×	`associate--l-` `associate--r-`
2×	`sub-neg` `diff-log` `div-exp`

Counts

4 → 144

Calls

4 calls:

6.0ms	(log (/ 1.0 (+ 1.0 (exp (neg s)))))
6.0ms	(log (/ 1.0 (+ 1.0 (exp (neg t)))))
15.0ms	(- (log (/ 1.0 (+ 1.0 (exp (neg s))))) (log (/ 1.0 (+ 1.0 (exp (neg t))))))
24.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

series82.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(log (/ 1.0 (+ 1.0 (exp (neg s)))))
15.0ms	(log (/ 1.0 (+ 1.0 (exp (neg t)))))
21.0ms	(- (log (/ 1.0 (+ 1.0 (exp (neg s))))) (log (/ 1.0 (+ 1.0 (exp (neg t))))))
31.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

simplify66.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4963	2785
1	4963	2785

prune467.0ms

Filtered

112 candidates to 156 candidates (-39.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	153	3	156
Fresh	2	1	3
Picked	1	0	1
Done	1	0	1
Total	157	4	161

Merged error: 0.0b

Counts

161 → 4

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b	(* c_n (- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))))
0.1b	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
0.3b	(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))
9.8b	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 106

Calls

4 calls:

18.0ms	(* c_n (- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))))
10.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
10.0ms	(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))
23.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

series101.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* c_n (- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))))
7.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
17.0ms	(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))
32.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

simplify62.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4940	2737
1	4940	2737

prune272.0ms

Filtered

79 candidates to 118 candidates (-49.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	117	1	118
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	119	3	122

Merged error: 0.0b

Counts

122 → 3

regimes664.0ms

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	117	53
1	117	53

end0.0ms

sample9.5s

Algorithm

intervals

Results

6.2s	874×	body	5120	exit
1.3s	480×	body	1280	overflowed
768.0ms	3650×	body	80	overflowed
624.0ms	437×	body	640	overflowed
172.0ms	206×	body	320	overflowed
148.0ms	6192×	pre	80	true
55.0ms	421×	body	80	valid
52.0ms	113×	body	160	overflowed
14.0ms	2×	body	5120	valid
3.0ms	3×	body	640	valid
2.0ms	1×	body	1280	valid
2.0ms	5×	body	160	valid

Details

analyze4.5s

sample5.6s

simplify47.0ms

prune11.0ms

localize25.0ms

rewrite90.0ms

series219.0ms

simplify109.0ms

prune301.0ms

localize6.0ms

rewrite8.0ms

series8.0ms

simplify39.0ms

prune49.0ms

localize30.0ms

rewrite56.0ms

series82.0ms

simplify66.0ms

prune467.0ms

localize32.0ms

rewrite65.0ms

series101.0ms

simplify62.0ms

prune272.0ms

regimes664.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample9.5s

Profiling