Mul pi Add Mul acosh x0 x7 Pow acoth asin csc csc x3 x0 
Mul pi Add Mul x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow acoth asin csc csc x3 Add x0 -1 Mul acoth asin csc csc x3 log acoth asin csc csc x3 