Mul acoth Mul Add x0 1 x2 Add Mul Pow atanh asech pi x0 Pow E acsc x1 x0 
Add Mul Add Mul Pow atanh asech pi x0 Pow E acsc x1 x0 Mul x2 Pow Add 1 Mul -1 Mul Mul Add x0 1 x2 Mul Add x0 1 x2 -1 Mul acoth Mul Add x0 1 x2 Add Mul Pow E acsc x1 Mul Pow atanh asech pi Add x0 -1 Mul atanh asech pi log atanh asech pi 1 