atanh Mul x3 Pow sqrt tanh acot x5 exp x0 
Mul Mul x3 Mul Pow sqrt tanh acot x5 Add exp x0 -1 Mul Mul sqrt tanh acot x5 log sqrt tanh acot x5 exp x0 Pow Add 1 Mul -1 Mul Mul x3 Pow sqrt tanh acot x5 exp x0 Mul x3 Pow sqrt tanh acot x5 exp x0 -1 