Pow Mul sqrt csch exp Mul Pow exp x0 asech x0 4 Add cosh x0 x0 Add -1 Pow x1 cos x3 
Mul Pow Mul sqrt csch exp Mul Pow exp x0 asech x0 4 Add cosh x0 x0 Add Add -1 Pow x1 cos x3 -1 Mul Add -1 Pow x1 cos x3 Add Mul Add cosh x0 x0 Mul Pow Mul 2 sqrt csch exp Mul Pow exp x0 asech x0 4 -1 Mul Mul Mul -1 coth exp Mul Pow exp x0 asech x0 4 csch exp Mul Pow exp x0 asech x0 4 Mul exp Mul Pow exp x0 asech x0 4 Mul 4 Mul Pow exp x0 Add asech x0 -1 Add Mul asech x0 exp x0 Mul Mul exp x0 log exp x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul sqrt csch exp Mul Pow exp x0 asech x0 4 Add sinh x0 1 