Mul x0 asin coth Pow cosh x4 sinh log Mul 2 x0 
Add asin coth Pow cosh x4 sinh log Mul 2 x0 Mul x0 Mul Mul Mul -1 Pow csch Pow cosh x4 sinh log Mul 2 x0 2 Mul Pow cosh x4 Add sinh log Mul 2 x0 -1 Mul Mul cosh x4 log cosh x4 Mul cosh log Mul 2 x0 Mul 2 Pow Mul 2 x0 -1 Pow sqrt Add 1 Mul -1 Mul coth Pow cosh x4 sinh log Mul 2 x0 coth Pow cosh x4 sinh log Mul 2 x0 -1 