Details

analyze132.0ms (5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
81.2%	18.7%	0.1%	5
81.2%	15.6%	3.2%	6
81.2%	15.6%	3.2%	7
81.2%	14%	4.8%	8
81.2%	14%	4.8%	9
81.2%	13.3%	5.6%	10
81.2%	13.3%	5.6%	11
81.2%	12.9%	6%	12
81.2%	12.9%	6%	13
81.2%	12.7%	6.1%	14

sample48.0ms (1.8%)

Algorithm

1×

intervals

Results

16.0ms	43×	body	1280	valid
7.0ms	172×	body	80	valid
5.0ms	18×	body	1280	invalid
4.0ms	21×	body	640	valid
2.0ms	13×	body	640	invalid
1.0ms	31×	body	80	invalid
1.0ms	11×	body	320	valid
1.0ms	9×	body	160	valid
0.0ms	4×	body	320	invalid

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	5
1	6	5

prune10.0ms (0.4%)

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

Counts

2 → 1

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(* (exp re) (sin im))

rewrite5.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
2×	`add-exp-log`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 18

Calls

1 calls:

5.0ms

(* (exp re) (sin im))

series9.0ms (0.3%)

Counts

1 → 3

Calls

1 calls:

9.0ms

(* (exp re) (sin im))

simplify48.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4950	136
1	4950	136

prune36.0ms (1.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	18	3	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	4	22

Merged error: 0.0b

Counts

22 → 4

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt (exp re))
0.0b	(sqrt (exp re))
0.0b	(* (sqrt (exp re)) (* (sin im) (sqrt (exp re))))
0.0b	(* (sin im) (sqrt (exp re)))

rewrite25.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
13×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
11×	`add-exp-log` `add-cbrt-cube`
9×	`associate-l`
8×	`sqrt-pow1`
7×	`associate-r`
6×	`exp-prod`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rem-sqrt-square` `pow1/2` `*-commutative` `unswap-sqr`

Counts

4 → 75

Calls

4 calls:

12.0ms	(* (sqrt (exp re)) (* (sin im) (sqrt (exp re))))
7.0ms	(* (sin im) (sqrt (exp re)))
2.0ms	(sqrt (exp re))
2.0ms	(sqrt (exp re))

series24.0ms (0.9%)

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (sin im) (sqrt (exp re)))
8.0ms	(* (sqrt (exp re)) (* (sin im) (sqrt (exp re))))
3.0ms	(sqrt (exp re))
3.0ms	(sqrt (exp re))

simplify71.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4801	517
1	4801	517

prune105.0ms (4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	1	1	2
Picked	0	1	1
Done	1	0	1
Total	87	4	91

Merged error: 0b

Counts

91 → 4

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(* (sqrt (exp re)) (cbrt (pow (* (sin im) (sqrt (exp re))) 3)))
0.0b	(* (sin im) (sqrt (exp re)))
0.2b	(pow (* (sin im) (sqrt (exp re))) 3)
11.6b	(cbrt (pow (* (sin im) (sqrt (exp re))) 3))

rewrite27.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
20×	`cbrt-prod`
17×	`associate-r`
13×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1` `add-exp-log`
10×	`sqrt-prod` `add-cbrt-cube`
9×	`associate-l`
8×	`unswap-sqr`
5×	`sqr-pow`
4×	`add-log-exp`
3×	`cube-mult` `unpow-prod-down` `pow-unpow` `unpow3` `cube-prod` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`pow-pow` `pow-exp` `*-commutative` `rem-cube-cbrt`
1×	`pow-to-exp` `pow1/3` `rem-cbrt-cube`

Counts

4 → 95

Calls

4 calls:

9.0ms	(* (sqrt (exp re)) (cbrt (pow (* (sin im) (sqrt (exp re))) 3)))
7.0ms	(* (sin im) (sqrt (exp re)))
6.0ms	(pow (* (sin im) (sqrt (exp re))) 3)
3.0ms	(cbrt (pow (* (sin im) (sqrt (exp re))) 3))

series47.0ms (1.8%)

Counts

4 → 12

Calls

4 calls:

17.0ms	(pow (* (sin im) (sqrt (exp re))) 3)
11.0ms	(* (sqrt (exp re)) (cbrt (pow (* (sin im) (sqrt (exp re))) 3)))
10.0ms	(cbrt (pow (* (sin im) (sqrt (exp re))) 3))
9.0ms	(* (sin im) (sqrt (exp re)))

simplify41.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5376	985

prune148.0ms (5.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	107	4	111

Merged error: 0b

Counts

111 → 4

localize14.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b	(* (sqrt (exp re)) (log (pow (exp (sqrt (exp re))) (sin im))))
0.0b	(exp (sqrt (exp re)))
0.1b	(pow (exp (sqrt (exp re))) (sin im))
2.7b	(log (pow (exp (sqrt (exp re))) (sin im)))

rewrite21.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
21×	`log-prod`
19×	`add-cube-cbrt` `*-un-lft-identity`
12×	`unpow-prod-down` `exp-prod`
10×	`sqrt-prod`
7×	`pow1` `add-exp-log` `distribute-rgt-in` `pow-pow` `distribute-lft-in`
6×	`associate-l` `add-cbrt-cube`
5×	`add-log-exp`
4×	`associate-r` `sqr-pow`
3×	`pow-unpow` `rem-log-exp`
2×	`pow-to-exp` `pow-exp` `log-pow` `unswap-sqr`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `rem-exp-log`

Counts

4 → 92

Calls

4 calls:

8.0ms	(* (sqrt (exp re)) (log (pow (exp (sqrt (exp re))) (sin im))))
4.0ms	(pow (exp (sqrt (exp re))) (sin im))
3.0ms	(log (pow (exp (sqrt (exp re))) (sin im)))
2.0ms	(exp (sqrt (exp re)))

series75.0ms (2.9%)

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (sqrt (exp re)) (log (pow (exp (sqrt (exp re))) (sin im))))
25.0ms	(log (pow (exp (sqrt (exp re))) (sin im)))
18.0ms	(pow (exp (sqrt (exp re))) (sin im))
7.0ms	(exp (sqrt (exp re)))

simplify80.0ms (3%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4957	969
1	4957	969

prune116.0ms (4.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	104	4	108

Merged error: 0b

Counts

108 → 4

regimes176.0ms (6.7%)

Accuracy

Total 0.0b remaining (38.6%)

Threshold costs 0.0b (38.6%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	10
1	9	10

end0.0ms (0%)

sample1.3s (50.9%)

Algorithm

1×

intervals

Results

384.0ms	1040×	body	1280	valid
233.0ms	5481×	body	80	valid
169.0ms	867×	body	640	valid
125.0ms	490×	body	1280	invalid
71.0ms	426×	body	640	invalid
54.0ms	398×	body	320	valid
37.0ms	788×	body	80	invalid
28.0ms	205×	body	320	invalid
18.0ms	214×	body	160	valid
8.0ms	98×	body	160	invalid

Details

analyze132.0ms (5%)

sample48.0ms (1.8%)

simplify2.0ms (0.1%)

prune10.0ms (0.4%)

localize6.0ms (0.2%)

rewrite5.0ms (0.2%)

series9.0ms (0.3%)

simplify48.0ms (1.8%)

prune36.0ms (1.4%)

localize8.0ms (0.3%)

rewrite25.0ms (1%)

series24.0ms (0.9%)

simplify71.0ms (2.7%)

prune105.0ms (4%)

localize11.0ms (0.4%)

rewrite27.0ms (1%)

series47.0ms (1.8%)

simplify41.0ms (1.5%)

prune148.0ms (5.7%)

localize14.0ms (0.5%)

rewrite21.0ms (0.8%)

series75.0ms (2.9%)

simplify80.0ms (3%)

prune116.0ms (4.4%)

regimes176.0ms (6.7%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

end0.0ms (0%)

sample1.3s (50.9%)

Profiling