Details

sample5.3s

Algorithm

intervals

Results

3.4s	477×	body	5120	exit
704.0ms	263×	body	1280	overflowed
406.0ms	2006×	body	80	overflowed
294.0ms	218×	body	640	overflowed
83.0ms	104×	body	320	overflowed
78.0ms	3384×	pre	80	true
33.0ms	249×	body	80	valid
28.0ms	60×	body	160	overflowed
8.0ms	2×	body	2560	valid
3.0ms	1×	body	1280	valid
2.0ms	2×	body	640	valid
1.0ms	2×	body	160	valid

simplify60.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5522	43

prune10.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: 3.5b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (exp (neg t)))
0.0b	(+ 1.0 (exp (neg t)))
1.0b	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
1.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)))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

553×	`add-exp-log`
312×	`prod-exp`
262×	`pow-exp`
248×	`div-exp`
183×	`pow-to-exp`
23×	`*-un-lft-identity`
18×	`unpow-prod-down`
16×	`add-cbrt-cube`
13×	`add-sqr-sqrt` `add-cube-cbrt` `times-frac`
8×	`add-log-exp`
5×	`pow1` `distribute-lft-out`
4×	`cbrt-undiv` `cbrt-unprod`
3×	`pow-unpow` `flip3-+` `flip-+`
2×	`+-commutative` `sum-log` `associate-/r/` `div-inv`
1×	`pow-pow` `frac-2neg` `clear-num` `associate-/r` `associate-/l` `sqr-pow`

Counts

4 → 243

Calls

4 calls:

4.0ms	(+ 1.0 (exp (neg t)))
4.0ms	(+ 1.0 (exp (neg t)))
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)))

series204.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(+ 1.0 (exp (neg t)))
2.0ms	(+ 1.0 (exp (neg t)))
15.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
186.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)))

simplify113.0ms

Algorithm

egg-herbie

Counts

255 → 255

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4979	8882
1	4979	8882

prune221.0ms

Filtered

60 candidates to 255 candidates (-325.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	252	3	255
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	253	3	256

Merged error: 0b

Counts

256 → 3

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×	`distribute-rgt-in` `add-cube-cbrt` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `associate-l` `*-commutative` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares`

Counts

1 → 26

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

29 → 29

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5135	242

prune34.0ms

Filtered

16 candidates to 29 candidates (-81.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	29	3	32

Merged error: 0b

Counts

32 → 3

localize27.0ms

Local error

Found 4 expressions with local error:

0.3b	(log (/ 1.0 (+ 1.0 (exp (neg s)))))
1.0b	(log (/ 1.0 (+ 1.0 (exp (neg t)))))
10.8b	(- (log (/ 1.0 (+ 1.0 (exp (neg s))))) (log (/ 1.0 (+ 1.0 (exp (neg t))))))
10.9b	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

rewrite54.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 → 146

Calls

4 calls:

7.0ms	(log (/ 1.0 (+ 1.0 (exp (neg s)))))
5.0ms	(log (/ 1.0 (+ 1.0 (exp (neg t)))))
14.0ms	(- (log (/ 1.0 (+ 1.0 (exp (neg s))))) (log (/ 1.0 (+ 1.0 (exp (neg t))))))
21.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:

17.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))))))
28.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

simplify75.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5096	2710

prune476.0ms

Filtered

114 candidates to 158 candidates (-38.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	158	3	161

Merged error: 0b

Counts

161 → 3

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (exp (neg t)))
0.7b	(/ (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p))
1.0b	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
1.0b	(/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))

rewrite132.0ms

Algorithm

rewrite-expression-head

Rules

1170×	`times-frac`
978×	`unpow-prod-down`
799×	`*-un-lft-identity`
581×	`add-sqr-sqrt`
471×	`add-cube-cbrt`
142×	`distribute-lft-out`
94×	`associate-/r/`
69×	`sqr-pow`
51×	`add-exp-log`
49×	`div-inv`
48×	`flip3-+` `flip-+`
44×	`difference-of-squares`
34×	`div-exp`
32×	`associate-/r` `associate-/l`
24×	`pow-exp`
22×	`distribute-lft-out--`
15×	`pow-to-exp`
8×	`add-cbrt-cube`
6×	`add-log-exp`
5×	`pow1`
3×	`pow-unpow`
2×	`cbrt-undiv` `frac-2neg` `clear-num`
1×	`+-commutative` `pow-pow` `sum-log`

Counts

4 → 740

Calls

4 calls:

4.0ms	(+ 1.0 (exp (neg t)))
27.0ms	(/ (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p))
7.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
24.0ms	(/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))

series124.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(+ 1.0 (exp (neg t)))
48.0ms	(/ (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p))
14.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
59.0ms	(/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))

simplify180.0ms

Algorithm

egg-herbie

Counts

752 → 752

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5599	27962

prune4.6s

Filtered

457 candidates to 752 candidates (-64.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	752	0	752
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	752	3	755

Merged error: 0b

Counts

755 → 3

regimes796.0ms

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	9
1	13	9

end0.0ms

sample21.1s

Algorithm

intervals

Results

13.8s	1981×	body	5120	exit
2.8s	1093×	body	1280	overflowed
1.6s	8482×	body	80	overflowed
1.3s	957×	body	640	overflowed
366.0ms	472×	body	320	overflowed
305.0ms	14170×	pre	80	true
110.0ms	915×	body	80	valid
100.0ms	241×	body	160	overflowed
15.0ms	5×	body	1280	valid
8.0ms	2×	body	2560	valid
7.0ms	1×	body	5120	valid
5.0ms	5×	body	640	valid
4.0ms	12×	body	160	valid
3.0ms	4×	body	320	valid

Details

sample5.3s

simplify60.0ms

prune10.0ms

localize21.0ms

rewrite73.0ms

series204.0ms

simplify113.0ms

prune221.0ms

localize6.0ms

rewrite8.0ms

series8.0ms

simplify39.0ms

prune34.0ms

localize27.0ms

rewrite54.0ms

series82.0ms

simplify75.0ms

prune476.0ms

localize32.0ms

rewrite132.0ms

series124.0ms

simplify180.0ms

prune4.6s

regimes796.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample21.1s

Profiling