Mul Add sqrt x0 Pow acoth tan cosh x2 Mul 3 Mul x0 Mul tan Mul 4 sec x4 x5 x0 
Add Mul x0 Add Pow Mul 2 sqrt x0 -1 Mul Pow acoth tan cosh x2 Add Mul 3 Mul x0 Mul tan Mul 4 sec x4 x5 -1 Mul Mul acoth tan cosh x2 log acoth tan cosh x2 Mul 3 Mul tan Mul 4 sec x4 x5 Add sqrt x0 Pow acoth tan cosh x2 Mul 3 Mul x0 Mul tan Mul 4 sec x4 x5 