Add Pow x0 sec coth Add Mul asinh x0 x6 5 Add Add x0 x6 x0 
Add Mul Pow x0 Add sec coth Add Mul asinh x0 x6 5 -1 Add sec coth Add Mul asinh x0 x6 5 Mul Mul x0 log x0 Mul Mul tan coth Add Mul asinh x0 x6 5 sec coth Add Mul asinh x0 x6 5 Mul Mul -1 Pow csch Add Mul asinh x0 x6 5 2 Mul x6 Pow sqrt Add 1 Mul x0 x0 -1 2 