Details

sample2.7s

Algorithm

intervals

Results

1.9s	278×	body	5120	exit
540.0ms	3266×	body	80	overflowed
83.0ms	3803×	pre	80	true
26.0ms	250×	body	80	valid
8.0ms	3×	body	1280	valid
1.0ms	1×	body	640	overflowed
1.0ms	1×	body	640	valid
1.0ms	1×	body	320	overflowed
1.0ms	2×	body	160	valid
0.0ms	1×	body	160	overflowed

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

prune4.0ms

Filtered

1 candidates to 0 candidates (0.0%)

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

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

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

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

10.0ms	(- 1.0 (/ 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)
44.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)))

series938.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))
76.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
91.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
717.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)))

simplify137.0ms

Algorithm

egg-herbie

Counts

279 → 279

Iterations

Useful iterations: 1 (21.0ms)

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

prune433.0ms

Filtered

279 candidates to 79 candidates (28.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	276	3	279
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	277	3	280

Merged error: 0.5b

Counts

280 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
6×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
2×	`diff-log` `associate-r` `*-commutative`
1×	`sub-neg` `flip3--` `associate--l+` `sum-log` `flip--`

Counts

3 → 50

Calls

3 calls:

8.0ms	(- (+ (* 0.5 (* s c_p)) 1) (* 0.5 (* s c_n)))
5.0ms	(* 0.5 (* s c_p))
5.0ms	(* 0.5 (* s c_n))

series99.0ms

Counts

3 → 9

Calls

3 calls:

59.0ms	(- (+ (* 0.5 (* s c_p)) 1) (* 0.5 (* s c_n)))
20.0ms	(* 0.5 (* s c_p))
20.0ms	(* 0.5 (* s c_n))

simplify147.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	228	292
1	900	254
2	4892	245
3	5001	245

prune91.0ms

Filtered

59 candidates to 34 candidates (57.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	58	1	59
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	58	4	62

Merged error: 0.5b

Counts

62 → 4

localize26.0ms

Local error

Found 4 expressions with local error:

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

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

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

series1.0s

Counts

4 → 12

Calls

4 calls:

54.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))
102.0ms	(* c_p (+ (log 0.5) (* 0.5 t)))
74.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
774.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	920	2823
1	4062	2572
2	5002	2572

prune420.0ms

Filtered

153 candidates to 72 candidates (47.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Merged error: 0.5b

Counts

157 → 3

localize13.0ms

Local error

Found 3 expressions with local error:

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)

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

5.0ms	(* 0.5 (* s c_p))
8.0ms	(* (pow (log 0.5) 2) (pow c_p 2))
3.0ms	(pow (log 0.5) 2)

series190.0ms

Counts

3 → 7

Calls

3 calls:

19.0ms	(* 0.5 (* s c_p))
171.0ms	(* (pow (log 0.5) 2) (pow c_p 2))
0.0ms	(pow (log 0.5) 2)

simplify46.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 2 (34.0ms)

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

prune147.0ms

Filtered

96 candidates to 48 candidates (50.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Merged error: 0.5b

Counts

99 → 4

regimes232.0ms

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	32
1	52	32

end0.0ms

sample15.9s

Algorithm

intervals

Results

11.1s	1637×	body	5120	exit
3.3s	20188×	body	80	overflowed
509.0ms	23520×	pre	80	true
172.0ms	1640×	body	80	valid
21.0ms	3×	body	5120	valid
20.0ms	10×	body	1280	valid
12.0ms	2×	body	2560	valid
10.0ms	11×	body	640	valid
4.0ms	8×	body	320	valid
4.0ms	13×	body	160	valid
3.0ms	2×	body	640	overflowed
2.0ms	3×	body	320	overflowed
1.0ms	3×	body	160	overflowed

Details

sample2.7s

simplify26.0ms

prune4.0ms

localize21.0ms

rewrite87.0ms

series938.0ms

simplify137.0ms

prune433.0ms

localize9.0ms

rewrite19.0ms

series99.0ms

simplify147.0ms

prune91.0ms

localize26.0ms

rewrite69.0ms

series1.0s

simplify108.0ms

prune420.0ms

localize13.0ms

rewrite19.0ms

series190.0ms

simplify46.0ms

prune147.0ms

regimes232.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample15.9s

Profiling