acoth Mul Mul x0 Add 3 acsc cosh x6 Pow asinh x6 x0 
Mul Add Mul Pow asinh x6 x0 Add 3 acsc cosh x6 Mul Mul x0 Add 3 acsc cosh x6 Mul Pow asinh x6 Add x0 -1 Mul asinh x6 log asinh x6 Pow Add 1 Mul -1 Mul Mul Mul x0 Add 3 acsc cosh x6 Pow asinh x6 x0 Mul Mul x0 Add 3 acsc cosh x6 Pow asinh x6 x0 -1 