Details

analyze4.6s

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

sample6.0s

Algorithm

intervals

Results

3.9s	536×	body	5120	exit
784.0ms	290×	body	1280	overflowed
478.0ms	2197×	body	80	overflowed
373.0ms	254×	body	640	overflowed
125.0ms	146×	body	320	overflowed
96.0ms	3735×	pre	80	true
36.0ms	252×	body	80	valid
26.0ms	56×	body	160	overflowed
1.0ms	1×	body	640	valid
1.0ms	1×	body	320	valid
1.0ms	2×	body	160	valid

simplify74.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4952	43
1	4952	43

prune12.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: 4.7b

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
0.2b	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
1.2b	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
3.2b	(/ (* (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)))

rewrite84.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:

13.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)
39.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)))

series233.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
15.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
16.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
194.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)))

simplify131.0ms

Algorithm

egg-herbie

Counts

278 → 278

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4992	9619
1	4992	9619

prune306.0ms

Filtered

76 candidates to 278 candidates (-265.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	275	3	278
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	276	3	279

Merged error: 0.2b

Counts

279 → 3

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--`

Counts

1 → 12

Calls

1 calls:

5.0ms

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

series12.0ms

Counts

1 → 3

Calls

1 calls:

12.0ms

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

simplify36.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5102	162

prune36.0ms

Filtered

11 candidates to 15 candidates (-36.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	15	3	18

Merged error: 0.2b

Counts

18 → 3

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
0.2b	(* c_p (+ (log 0.5) (* t 0.5)))
0.2b	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
2.2b	(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ 1 (* c_p (+ (log 0.5) (* t 0.5)))) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

171×	`add-exp-log`
88×	`prod-exp`
65×	`div-exp`
55×	`pow-exp`
42×	`pow-to-exp`
23×	`*-un-lft-identity`
22×	`add-sqr-sqrt`
18×	`unpow-prod-down` `add-cbrt-cube`
15×	`add-cube-cbrt`
14×	`times-frac`
7×	`pow1`
6×	`add-log-exp`
5×	`cbrt-unprod`
4×	`cbrt-undiv` `associate-/r/`
3×	`pow-unpow` `flip3-+` `associate-r` `associate-l` `flip-+` `distribute-lft-out`
2×	`associate-r/` `associate-l/` `div-inv` `difference-of-squares`
1×	`distribute-rgt-in` `sub-neg` `flip3--` `pow-pow` `frac-2neg` `distribute-lft-in` `diff-log` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `flip--` `associate-/l*` `distribute-lft-out--` `unswap-sqr` `sqr-pow`

Counts

4 → 140

Calls

4 calls:

9.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
5.0ms	(* c_p (+ (log 0.5) (* t 0.5)))
7.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
34.0ms	(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ 1 (* c_p (+ (log 0.5) (* t 0.5)))) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

series256.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
12.0ms	(* c_p (+ (log 0.5) (* t 0.5)))
15.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
222.0ms	(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ 1 (* c_p (+ (log 0.5) (* t 0.5)))) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

simplify62.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4970	4427
1	4970	4427

prune277.0ms

Filtered

73 candidates to 152 candidates (-108.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	152	3	155

Merged error: 0.2b

Counts

155 → 3

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
1.0b	(/ (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (* (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n) (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)))
1.2b	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
2.2b	(* (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n) (/ (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (* (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n) (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p))))

rewrite120.0ms

Algorithm

rewrite-expression-head

Rules

663×	`add-exp-log`
351×	`prod-exp`
321×	`pow-exp`
310×	`div-exp`
219×	`pow-to-exp`
105×	`times-frac`
97×	`unpow-prod-down`
84×	`*-un-lft-identity`
62×	`add-sqr-sqrt`
52×	`add-cube-cbrt`
26×	`associate-r`
22×	`associate-/l*`
18×	`add-cbrt-cube`
15×	`distribute-lft-out`
10×	`associate-l` `associate-/r/`
7×	`div-inv` `sqr-pow`
6×	`pow1` `pow-unpow`
5×	`flip3-+` `cbrt-unprod` `flip-+`
4×	`cbrt-undiv` `add-log-exp`
3×	`unswap-sqr`
2×	`pow-pow` `difference-of-squares`
1×	`frac-2neg` `associate-r/` `clear-num` `associate-/r` `*-commutative` `distribute-lft-out--`

Counts

4 → 385

Calls

4 calls:

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

series321.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
102.0ms	(/ (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (* (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n) (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)))
15.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
188.0ms	(* (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n) (/ (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (* (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n) (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p))))

simplify132.0ms

Algorithm

egg-herbie

Counts

397 → 397

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5240	14096

prune661.0ms

Filtered

138 candidates to 397 candidates (-187.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	397	0	397
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	397	3	400

Merged error: 0.2b

Counts

400 → 3

regimes845.0ms

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	96	13
1	96	13

end0.0ms

sample1.0min

Algorithm

intervals

Results

39.0s	5659×	body	5120	exit
8.1s	3161×	body	1280	overflowed
5.2s	25177×	body	80	overflowed
3.8s	2727×	body	640	overflowed
1.2s	1502×	body	320	overflowed
950.0ms	41901×	pre	80	true
394.0ms	2891×	body	80	valid
318.0ms	701×	body	160	overflowed
55.0ms	21×	body	1280	valid
35.0ms	3×	body	5120	valid
21.0ms	17×	body	640	valid
10.0ms	3×	body	2560	valid
10.0ms	27×	body	160	valid
6.0ms	1×	body	2560	overflowed
4.0ms	7×	body	320	valid
2.0ms	1×	body	1280	invalid
1.0ms	3×	body	80	invalid

Details

analyze4.6s

sample6.0s

simplify74.0ms

prune12.0ms

localize26.0ms

rewrite84.0ms

series233.0ms

simplify131.0ms

prune306.0ms

localize9.0ms

rewrite5.0ms

series12.0ms

simplify36.0ms

prune36.0ms

localize32.0ms

rewrite62.0ms

series256.0ms

simplify62.0ms

prune277.0ms

localize27.0ms

rewrite120.0ms

series321.0ms

simplify132.0ms

prune661.0ms

regimes845.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.0min

Profiling