acoth asech Mul x0 Add x0 tanh x5 
Mul Mul Add Add x0 tanh x5 x0 Pow Mul Mul Mul x0 Add x0 tanh x5 Mul x0 Add x0 tanh x5 sqrt Add 1 Mul -1 Pow Mul Mul x0 Add x0 tanh x5 Mul x0 Add x0 tanh x5 -1 -1 Pow Add 1 Mul -1 Mul asech Mul x0 Add x0 tanh x5 asech Mul x0 Add x0 tanh x5 -1 