Pow Pow acot Add asec x0 2 Mul x7 x4 asin Add Add x0 Add Add x0 Pow x0 Add csch x7 -1 x0 E 
Mul Pow Pow acot Add asec x0 2 Mul x7 x4 Add asin Add Add x0 Add Add x0 Pow x0 Add csch x7 -1 x0 E -1 Add Mul asin Add Add x0 Add Add x0 Pow x0 Add csch x7 -1 x0 E Mul Pow acot Add asec x0 2 Add Mul x7 x4 -1 Mul Mul x7 x4 Mul -1 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Add asec x0 2 Add asec x0 2 -1 Mul Mul Pow acot Add asec x0 2 Mul x7 x4 log Pow acot Add asec x0 2 Mul x7 x4 Mul Add 1 Add Add 1 Mul Pow x0 Add Add csch x7 -1 -1 Add csch x7 -1 1 Pow sqrt Add 1 Mul -1 Mul Add Add x0 Add Add x0 Pow x0 Add csch x7 -1 x0 E Add Add x0 Add Add x0 Pow x0 Add csch x7 -1 x0 E -1 