Details

sample2.7s

Algorithm

intervals

Results

1.8s	254×	body	5120	exit
603.0ms	3080×	body	80	overflowed
80.0ms	3592×	pre	80	true
32.0ms	245×	body	80	valid
9.0ms	1×	body	5120	valid
3.0ms	1×	body	1280	valid
3.0ms	8×	body	160	valid
1.0ms	1×	body	640	overflowed
1.0ms	1×	body	640	valid
0.0ms	1×	body	160	overflowed

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: 7.3b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (+ 1.0 (exp (neg s))))
0.3b	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
0.7b	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
5.6b	(/ (* (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)))

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

558×	`add-exp-log`
312×	`prod-exp`
264×	`pow-exp`
250×	`div-exp`
184×	`pow-to-exp`
51×	`*-un-lft-identity`
37×	`times-frac`
36×	`unpow-prod-down`
31×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`add-cbrt-cube`
10×	`distribute-lft-out`
6×	`pow1` `pow-unpow` `associate-/r/`
5×	`cbrt-undiv` `associate-/r*`
4×	`cbrt-unprod` `div-inv` `associate-/l*` `add-log-exp`
3×	`flip3-+` `flip-+`
2×	`pow-pow` `frac-2neg` `clear-num` `sqr-pow`

Counts

4 → 285

Calls

4 calls:

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

series226.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ 1.0 (+ 1.0 (exp (neg s))))
21.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
19.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
180.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)))

simplify112.0ms

Algorithm

egg-herbie

Counts

297 → 297

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	972	6045
1	3266	5797
2	5003	5797

prune356.0ms

Filtered

91 candidates to 297 candidates (-226.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	293	4	297
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	294	4	298

Merged error: 0.5b

Counts

298 → 4

localize8.0ms

Local error

Found 2 expressions with local error:

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

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

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

series7.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify57.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

prune55.0ms

Filtered

22 candidates to 42 candidates (-90.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Merged error: 0.5b

Counts

46 → 5

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (+ 1.0 (exp (neg s))))
0.2b	(* c_p (+ (log 0.5) (* 0.5 t)))
0.3b	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
2.4b	(/ (* (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)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

173×	`add-exp-log`
88×	`prod-exp`
66×	`div-exp`
55×	`pow-exp`
42×	`pow-to-exp`
38×	`*-un-lft-identity`
26×	`add-sqr-sqrt`
25×	`times-frac`
24×	`add-cube-cbrt`
20×	`add-cbrt-cube`
18×	`unpow-prod-down`
7×	`pow1` `distribute-lft-out`
6×	`associate-/r/`
5×	`cbrt-undiv` `associate-/r*` `cbrt-unprod`
4×	`flip3-+` `flip-+` `associate-/l*` `add-log-exp`
3×	`pow-unpow` `associate-r` `associate-l` `div-inv`
2×	`frac-2neg` `associate-r/` `associate-l/` `clear-num`
1×	`distribute-rgt-in` `pow-pow` `distribute-lft-in` `pow-prod-down` `*-commutative` `unswap-sqr` `sqr-pow`

Counts

4 → 159

Calls

4 calls:

5.0ms	(/ 1.0 (+ 1.0 (exp (neg s))))
5.0ms	(* c_p (+ (log 0.5) (* 0.5 t)))
7.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) 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)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

series242.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ 1.0 (+ 1.0 (exp (neg s))))
11.0ms	(* c_p (+ (log 0.5) (* 0.5 t)))
14.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
211.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)))

simplify116.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	910	2920
1	4167	2665
2	5002	2665

prune323.0ms

Filtered

84 candidates to 171 candidates (-103.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	171	5	176

Merged error: 0.5b

Counts

176 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 1/2 (* (pow (log 0.5) 2) (pow c_p 2)))
0.0b	(* 0.5 (* s c_p))
0.2b	(* (pow (log 0.5) 2) (pow c_p 2))
1.0b	(pow (log 0.5) 2)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-exp-log`
31×	`prod-exp`
28×	`add-sqr-sqrt`
19×	`unpow-prod-down`
16×	`add-cbrt-cube` `unswap-sqr`
15×	`associate-l`
14×	`pow1`
13×	`pow-to-exp` `pow-exp`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`unpow2` `sqr-pow`
10×	`associate-r`
7×	`cbrt-unprod`
5×	`pow-prod-down`
4×	`add-log-exp`
3×	`pow-unpow` `*-commutative`
2×	`log-pow`
1×	`pow-pow`

Counts

4 → 114

Calls

4 calls:

7.0ms	(* 1/2 (* (pow (log 0.5) 2) (pow c_p 2)))
5.0ms	(* 0.5 (* s c_p))
7.0ms	(* (pow (log 0.5) 2) (pow c_p 2))
2.0ms	(pow (log 0.5) 2)

series38.0ms

Counts

4 → 10

Calls

4 calls:

19.0ms	(* 1/2 (* (pow (log 0.5) 2) (pow c_p 2)))
3.0ms	(* 0.5 (* s c_p))
15.0ms	(* (pow (log 0.5) 2) (pow c_p 2))
0.0ms	(pow (log 0.5) 2)

simplify48.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	343	646
1	1473	541
2	5001	535

prune139.0ms

Filtered

59 candidates to 124 candidates (-110.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	124	5	129

Merged error: 0.5b

Counts

129 → 5

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

sample29.8s

Algorithm

intervals

Results

19.6s	2952×	body	5120	exit
6.7s	37258×	body	80	overflowed
893.0ms	43356×	pre	80	true
377.0ms	3051×	body	80	valid
69.0ms	4×	body	5120	valid
36.0ms	16×	body	1280	valid
28.0ms	8×	body	2560	valid
26.0ms	24×	body	640	valid
10.0ms	29×	body	160	valid
4.0ms	3×	body	640	overflowed
2.0ms	3×	body	320	overflowed
2.0ms	4×	body	320	valid
2.0ms	4×	body	160	overflowed

Details

sample2.7s

simplify25.0ms

prune5.0ms

localize24.0ms

rewrite81.0ms

series226.0ms

simplify112.0ms

prune356.0ms

localize8.0ms

rewrite10.0ms

series7.0ms

simplify57.0ms

prune55.0ms

localize27.0ms

rewrite61.0ms

series242.0ms

simplify116.0ms

prune323.0ms

localize13.0ms

rewrite25.0ms

series38.0ms

simplify48.0ms

prune139.0ms

regimes1.1s

bsearch1.0ms

simplify2.0ms

end0.0ms

sample29.8s

Profiling