Details

analyze133.0ms (5.2%)

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

sample50.0ms (2%)

Algorithm

1×

intervals

Results

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

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

prune6.0ms (0.2%)

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

simplify47.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4950	136
1	4950	136

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

rewrite21.0ms (0.8%)

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:

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

series22.0ms (0.9%)

Counts

4 → 12

Calls

4 calls:

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

simplify68.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4801	517
1	4801	517

prune100.0ms (3.9%)

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

series45.0ms (1.8%)

Counts

4 → 12

Calls

4 calls:

18.0ms	(pow (* (sin im) (sqrt (exp re))) 3)
10.0ms	(cbrt (pow (* (sin im) (sqrt (exp re))) 3))
9.0ms	(* (sin im) (sqrt (exp re)))
8.0ms	(* (sqrt (exp re)) (cbrt (pow (* (sin im) (sqrt (exp re))) 3)))

simplify41.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5376	985

prune142.0ms (5.5%)

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

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

rewrite23.0ms (0.9%)

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:

9.0ms	(* (sqrt (exp re)) (log (pow (exp (sqrt (exp re))) (sin im))))
6.0ms	(pow (exp (sqrt (exp re))) (sin im))
4.0ms	(log (pow (exp (sqrt (exp re))) (sin im)))
2.0ms	(exp (sqrt (exp re)))

series71.0ms (2.8%)

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (sqrt (exp re)) (log (pow (exp (sqrt (exp re))) (sin im))))
22.0ms	(log (pow (exp (sqrt (exp re))) (sin im)))
17.0ms	(pow (exp (sqrt (exp re))) (sin im))
7.0ms	(exp (sqrt (exp re)))

simplify83.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4957	969
1	4957	969

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

regimes169.0ms (6.6%)

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 (51.2%)

Algorithm

1×

intervals

Results

369.0ms	1040×	body	1280	valid
230.0ms	5481×	body	80	valid
168.0ms	867×	body	640	valid
130.0ms	490×	body	1280	invalid
69.0ms	426×	body	640	invalid
52.0ms	398×	body	320	valid
33.0ms	788×	body	80	invalid
24.0ms	205×	body	320	invalid
21.0ms	214×	body	160	valid
8.0ms	98×	body	160	invalid

Details

analyze133.0ms (5.2%)

sample50.0ms (2%)

simplify3.0ms (0.1%)

prune6.0ms (0.2%)

localize6.0ms (0.2%)

rewrite5.0ms (0.2%)

series9.0ms (0.3%)

simplify47.0ms (1.8%)

prune35.0ms (1.4%)

localize8.0ms (0.3%)

rewrite21.0ms (0.8%)

series22.0ms (0.9%)

simplify68.0ms (2.7%)

prune100.0ms (3.9%)

localize11.0ms (0.4%)

rewrite27.0ms (1%)

series45.0ms (1.8%)

simplify41.0ms (1.6%)

prune142.0ms (5.5%)

localize13.0ms (0.5%)

rewrite23.0ms (0.9%)

series71.0ms (2.8%)

simplify83.0ms (3.2%)

prune111.0ms (4.4%)

regimes169.0ms (6.6%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

end0.0ms (0%)

sample1.3s (51.2%)

Profiling