Mul acot Add x0 exp Pow acsc Pow E Pow x0 2 Add x3 x0 Pow x4 cosh x0 
Add Mul Pow x4 cosh x0 Mul -1 Mul Add 1 Mul exp Pow acsc Pow E Pow x0 2 Add x3 x0 Mul Pow acsc Pow E Pow x0 2 Add Add x3 x0 -1 Add Mul Add x3 x0 Mul -1 Mul Mul Pow E Add Pow x0 2 -1 Mul Mul E log E Mul x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow E Pow x0 2 Pow E Pow x0 2 -1 Pow E Pow x0 2 Pow E Pow x0 2 -1 Mul acsc Pow E Pow x0 2 log acsc Pow E Pow x0 2 Pow Add 1 Mul Add x0 exp Pow acsc Pow E Pow x0 2 Add x3 x0 Add x0 exp Pow acsc Pow E Pow x0 2 Add x3 x0 -1 Mul acot Add x0 exp Pow acsc Pow E Pow x0 2 Add x3 x0 Mul Pow x4 Add cosh x0 -1 Mul Mul x4 log x4 sinh x0 