Mul Mul acoth Mul Add x0 atanh x2 x0 Mul Add x0 x0 x0 sec x2 
Mul sec x2 Add Mul Mul Add x0 x0 x0 Mul Add x0 Add x0 atanh x2 Pow Add 1 Mul -1 Mul Mul Add x0 atanh x2 x0 Mul Add x0 atanh x2 x0 -1 Mul acoth Mul Add x0 atanh x2 x0 Add Mul x0 2 Add x0 x0 