Add x0 Mul Pow x0 Mul 2 Pow atanh acsch E atan sec Pow 3 x1 x0 
Add 1 Add Mul x0 Mul Pow x0 Add Mul 2 Pow atanh acsch E atan sec Pow 3 x1 -1 Mul 2 Pow atanh acsch E atan sec Pow 3 x1 Pow x0 Mul 2 Pow atanh acsch E atan sec Pow 3 x1 