Add Pow tanh acoth acoth pi x0 Mul x0 Pow acosh x1 cot Add 3 tanh Pow Add x0 x5 x0 
Add Mul Pow tanh acoth acoth pi Add x0 -1 Mul tanh acoth acoth pi log tanh acoth acoth pi Add Pow acosh x1 cot Add 3 tanh Pow Add x0 x5 x0 Mul x0 Mul Pow acosh x1 Add cot Add 3 tanh Pow Add x0 x5 x0 -1 Mul Mul acosh x1 log acosh x1 Mul Mul -1 Pow csc Add 3 tanh Pow Add x0 x5 x0 2 Mul Pow sech Pow Add x0 x5 x0 2 Mul Pow Add x0 x5 Add x0 -1 Add x0 Mul Add x0 x5 log Add x0 x5 