Add Mul -5 Pow Pow E acot x6 Mul x0 coth sinh sec Add x0 x0 x0 
Add Mul -5 Mul Pow Pow E acot x6 Add Mul x0 coth sinh sec Add x0 x0 -1 Mul Mul Pow E acot x6 log Pow E acot x6 Add coth sinh sec Add x0 x0 Mul x0 Mul Mul -1 Pow csch sinh sec Add x0 x0 2 Mul cosh sec Add x0 x0 Mul Mul tan Add x0 x0 sec Add x0 x0 2 1 