Mul asinh csch tan Add x0 csch Mul acosh x5 -1 Mul x0 x0 
Add Mul Mul x0 x0 Mul Mul Mul Mul -1 coth tan Add x0 csch Mul acosh x5 -1 csch tan Add x0 csch Mul acosh x5 -1 Pow sec Add x0 csch Mul acosh x5 -1 2 Pow sqrt Add 1 Mul csch tan Add x0 csch Mul acosh x5 -1 csch tan Add x0 csch Mul acosh x5 -1 -1 Mul asinh csch tan Add x0 csch Mul acosh x5 -1 Add x0 x0 