acsc Mul asin sech x2 Mul Add Mul Pow acot x0 E Add x0 16 x0 x0 
Mul -1 Mul Mul asin sech x2 Add Mul x0 Add Add Mul Add x0 16 Mul Pow acot x0 Add E -1 Mul E Mul -1 Pow Add 1 Mul x0 x0 -1 Pow acot x0 E 1 Add Mul Pow acot x0 E Add x0 16 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul asin sech x2 Mul Add Mul Pow acot x0 E Add x0 16 x0 x0 Mul asin sech x2 Mul Add Mul Pow acot x0 E Add x0 16 x0 x0 -1 Mul asin sech x2 Mul Add Mul Pow acot x0 E Add x0 16 x0 x0 Mul asin sech x2 Mul Add Mul Pow acot x0 E Add x0 16 x0 x0 -1 