Details

sample52.9s

Algorithm

intervals

Results

52.5s	3708×	body	5120	exit
102.0ms	3964×	pre	80	true
37.0ms	249×	body	80	valid
5.0ms	2×	body	1280	valid
4.0ms	3×	body	640	valid
1.0ms	2×	body	160	valid

simplify57.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (55.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: 7.0b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
1.2b	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
1.7b	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
3.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)))

rewrite74.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 → 267

Calls

4 calls:

8.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
6.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
6.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
37.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)))

series201.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)
13.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
167.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)))

simplify74.0ms

Algorithm

egg-herbie

Counts

279 → 279

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5177	9451

prune263.0ms

Filtered

75 candidates to 279 candidates (-272.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	275	4	279
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	276	4	280

Merged error: 0.1b

Counts

280 → 4

localize6.0ms

Local error

Found 1 expressions with local error:

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

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

6.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))

simplify37.0ms

Algorithm

egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5135	242

prune39.0ms

Filtered

16 candidates to 29 candidates (-81.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	29	4	33

Merged error: 0.1b

Counts

33 → 4

localize26.0ms

Local error

Found 4 expressions with local error:

1.2b	(log (/ 1.0 (+ 1.0 (exp (neg s)))))
2.2b	(log (/ 1.0 (+ 1.0 (exp (neg t)))))
9.2b	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))
9.2b	(- (log (/ 1.0 (+ 1.0 (exp (neg s))))) (log (/ 1.0 (+ 1.0 (exp (neg t))))))

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

5.0ms	(log (/ 1.0 (+ 1.0 (exp (neg s)))))
5.0ms	(log (/ 1.0 (+ 1.0 (exp (neg t)))))
19.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 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))))))

series75.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(log (/ 1.0 (+ 1.0 (exp (neg s)))))
13.0ms	(log (/ 1.0 (+ 1.0 (exp (neg t)))))
29.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))
20.0ms	(- (log (/ 1.0 (+ 1.0 (exp (neg s))))) (log (/ 1.0 (+ 1.0 (exp (neg t))))))

simplify69.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5096	2710

prune453.0ms

Filtered

114 candidates to 158 candidates (-38.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	156	2	158
Fresh	2	0	2
Picked	1	0	1
Done	1	0	1
Total	160	2	162

Merged error: 0.0b

Counts

162 → 2

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))))
0.3b	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
0.4b	(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))
9.2b	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
24×	`log-prod`
22×	`*-un-lft-identity`
11×	`difference-of-squares`
10×	`pow1`
9×	`distribute-lft-out--`
8×	`add-cube-cbrt` `log-div`
6×	`add-exp-log` `flip3--` `associate--l+` `log-pow` `flip--` `associate--r+` `add-log-exp`
5×	`times-frac`
4×	`add-cbrt-cube`
2×	`associate--l-` `sub-neg` `diff-log` `rem-log-exp` `associate--r-`

Counts

4 → 82

Calls

4 calls:

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

series66.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))))
6.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
18.0ms	(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))
26.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

simplify41.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5004	1782

prune194.0ms

Filtered

67 candidates to 94 candidates (-40.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

96 → 2

regimes199.0ms

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	38
1	37	38

end0.0ms

sample1.6min

Algorithm

intervals

Results

1.6min	6886×	body	5120	exit
170.0ms	7372×	pre	80	true
58.0ms	474×	body	80	valid
7.0ms	3×	body	1280	valid
5.0ms	4×	body	640	valid
1.0ms	4×	body	160	valid

Details

sample52.9s

simplify57.0ms

prune10.0ms

localize20.0ms

rewrite74.0ms

series201.0ms

simplify74.0ms

prune263.0ms

localize6.0ms

rewrite7.0ms

series8.0ms

simplify37.0ms

prune39.0ms

localize26.0ms

rewrite49.0ms

series75.0ms

simplify69.0ms

prune453.0ms

localize26.0ms

rewrite48.0ms

series66.0ms

simplify41.0ms

prune194.0ms

regimes199.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.6min

Profiling