csch Mul x0 Pow tanh acot Add x0 x3 x0 
Mul Mul Mul -1 coth Mul x0 Pow tanh acot Add x0 x3 x0 csch Mul x0 Pow tanh acot Add x0 x3 x0 Add Pow tanh acot Add x0 x3 x0 Mul x0 Mul Pow tanh acot Add x0 x3 Add x0 -1 Add Mul x0 Mul Pow sech acot Add x0 x3 2 Mul -1 Pow Add 1 Mul Add x0 x3 Add x0 x3 -1 Mul tanh acot Add x0 x3 log tanh acot Add x0 x3 