Mul asech Mul acoth x0 Add Mul Add -4 acosh x0 E x0 Mul Pow Mul x5 x0 csc x0 2 
Add Mul Mul Pow Mul x5 x0 csc x0 2 Mul Add Mul Add Mul Add -4 acosh x0 E x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Add Mul E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow Mul Mul Mul acoth x0 Add Mul Add -4 acosh x0 E x0 Mul acoth x0 Add Mul Add -4 acosh x0 E x0 sqrt Add 1 Mul -1 Pow Mul Mul acoth x0 Add Mul Add -4 acosh x0 E x0 Mul acoth x0 Add Mul Add -4 acosh x0 E x0 -1 -1 Mul asech Mul acoth x0 Add Mul Add -4 acosh x0 E x0 Mul 2 Mul Pow Mul x5 x0 Add csc x0 -1 Add Mul csc x0 x5 Mul Mul Mul x5 x0 log Mul x5 x0 Mul Mul -1 cot x0 csc x0 