Mul log Mul x0 x3 asech Pow sinh acoth x6 x0 
Add Mul asech Pow sinh acoth x6 x0 Mul x3 Pow Mul x0 x3 -1 Mul log Mul x0 x3 Mul Mul Pow sinh acoth x6 Add x0 -1 Mul sinh acoth x6 log sinh acoth x6 Pow Mul Mul Pow sinh acoth x6 x0 Pow sinh acoth x6 x0 sqrt Add 1 Mul -1 Pow Mul Pow sinh acoth x6 x0 Pow sinh acoth x6 x0 -1 -1 