Pow x3 Mul Pow acos pi Pow x0 csch x5 x1 
Mul Pow x3 Add Mul Pow acos pi Pow x0 csch x5 x1 -1 Mul Mul x3 log x3 Mul x1 Mul Pow acos pi Add Pow x0 csch x5 -1 Mul Mul acos pi log acos pi Mul Pow x0 Add csch x5 -1 csch x5 