Details

analyze4.6s

Algorithm: search

sample6.2s

Algorithm

intervals

Results

4.1s	551×	body	5120	exit
809.0ms	292×	body	1280	overflowed
486.0ms	2217×	body	80	overflowed
372.0ms	254×	body	640	overflowed
134.0ms	149×	body	320	overflowed
95.0ms	3781×	pre	80	true
36.0ms	250×	body	80	valid
29.0ms	61×	body	160	overflowed
8.0ms	3×	body	1280	valid
4.0ms	1×	body	2560	overflowed
3.0ms	2×	body	640	valid
0.0ms	1×	body	160	valid

simplify25.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	53	25
1	147	25
2	850	25
3	5001	25

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 4.3b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
0.2b	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
1.9b	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
1.9b	(/ (* (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 → 267

Calls

4 calls:

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

series235.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify111.0ms

Algorithm

egg-herbie

Counts

279 → 279

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	982	5948
1	3157	5704
2	5002	5704

prune293.0ms

Filtered

79 candidates to 279 candidates (-253.2%)

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.2b

Counts

280 → 4

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

12×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
2×	`associate-r` `*-commutative` `add-log-exp`

Counts

2 → 36

Calls

2 calls:

5.0ms	(* 0.5 (* s c_p))
5.0ms	(* 0.5 (* s c_n))

series8.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(* 0.5 (* s c_p))
4.0ms	(* 0.5 (* s c_n))

simplify61.0ms

Algorithm

egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	153	142
1	595	112
2	2373	112
3	5002	112

prune49.0ms

Filtered

22 candidates to 42 candidates (-90.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 0.2b

Counts

46 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite67.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 → 141

Calls

4 calls:

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

series255.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
11.0ms	(* c_p (+ (log 0.5) (* 0.5 t)))
15.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
220.0ms	(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

simplify108.0ms

Algorithm

egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	921	2823
1	4030	2572
2	5003	2572

prune262.0ms

Filtered

72 candidates to 153 candidates (-112.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	153	4	157

Merged error: 0.2b

Counts

157 → 4

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 0.5 (* s c_p))
0.1b	(* (pow (log 0.5) 2) (pow c_p 2))
1.0b	(pow (log 0.5) 2)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
21×	`add-exp-log`
19×	`unpow-prod-down`
16×	`unswap-sqr`
12×	`associate-l` `prod-exp`
11×	`pow1` `unpow2` `sqr-pow`
10×	`add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r`
7×	`pow-to-exp` `pow-exp`
4×	`pow-prod-down` `cbrt-unprod`
3×	`pow-unpow` `add-log-exp`
2×	`log-pow` `*-commutative`
1×	`pow-pow`

Counts

3 → 89

Calls

3 calls:

4.0ms	(* 0.5 (* s c_p))
7.0ms	(* (pow (log 0.5) 2) (pow c_p 2))
2.0ms	(pow (log 0.5) 2)

series20.0ms

Counts

3 → 7

Calls

3 calls:

3.0ms	(* 0.5 (* s c_p))
16.0ms	(* (pow (log 0.5) 2) (pow c_p 2))
0.0ms	(pow (log 0.5) 2)

simplify39.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	283	462
1	1177	380
2	5002	375

prune111.0ms

Filtered

48 candidates to 96 candidates (-100.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	96	4	100

Merged error: 0.2b

Counts

100 → 4

regimes1.1s

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	32
1	52	32

end0.0ms

analyze4.4s

Algorithm: search

sample7.2s

Algorithm

intervals

Results

4.6s	653×	body	5120	exit
918.0ms	351×	body	1280	overflowed
629.0ms	310×	body	640	overflowed
560.0ms	2678×	body	80	overflowed
150.0ms	181×	body	320	overflowed
106.0ms	4561×	pre	80	true
40.0ms	302×	body	80	valid
34.0ms	77×	body	160	overflowed
8.0ms	3×	body	1280	valid
4.0ms	1×	body	2560	overflowed
3.0ms	2×	body	640	valid
1.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid
0.0ms	1×	body	80	invalid

Details

analyze4.6s

sample6.2s

simplify25.0ms

prune5.0ms

localize22.0ms

rewrite84.0ms

series235.0ms

simplify111.0ms

prune293.0ms

localize11.0ms

rewrite11.0ms

series8.0ms

simplify61.0ms

prune49.0ms

localize27.0ms

rewrite67.0ms

series255.0ms

simplify108.0ms

prune262.0ms

localize15.0ms

rewrite17.0ms

series20.0ms

simplify39.0ms

prune111.0ms

regimes1.1s

bsearch1.0ms

simplify2.0ms

end0.0ms

analyze4.4s

sample7.2s

Profiling