Mul Mul csch x0 Pow Pow acsch Add sqrt coth sech acot csch x7 sec Add x3 exp pi 4 x1 x0 
Add Mul x0 Mul Pow Pow acsch Add sqrt coth sech acot csch x7 sec Add x3 exp pi 4 x1 Mul Mul -1 coth x0 csch x0 Mul csch x0 Pow Pow acsch Add sqrt coth sech acot csch x7 sec Add x3 exp pi 4 x1 