Mul x0 Pow Mul Add acsch Mul asin x4 Pow cos Mul coth x0 x3 x0 2 Mul x0 Pow x0 Mul 2 x0 sqrt x6 
Add Pow Mul Add acsch Mul asin x4 Pow cos Mul coth x0 x3 x0 2 Mul x0 Pow x0 Mul 2 x0 sqrt x6 Mul x0 Mul Pow Mul Add acsch Mul asin x4 Pow cos Mul coth x0 x3 x0 2 Mul x0 Pow x0 Mul 2 x0 Add sqrt x6 -1 Mul sqrt x6 Add Mul Mul x0 Pow x0 Mul 2 x0 Mul Mul -1 Mul asin x4 Mul Pow cos Mul coth x0 x3 Add x0 -1 Add Mul x0 Mul Mul -1 sin Mul coth x0 x3 Mul x3 Mul -1 Pow csch x0 2 Mul cos Mul coth x0 x3 log cos Mul coth x0 x3 Pow Mul Mul Mul asin x4 Pow cos Mul coth x0 x3 x0 Mul asin x4 Pow cos Mul coth x0 x3 x0 sqrt Add 1 Mul -1 Pow Mul Mul asin x4 Pow cos Mul coth x0 x3 x0 Mul asin x4 Pow cos Mul coth x0 x3 x0 -1 -1 Mul Add acsch Mul asin x4 Pow cos Mul coth x0 x3 x0 2 Add Pow x0 Mul 2 x0 Mul x0 Mul Pow x0 Add Mul 2 x0 -1 Add Mul 2 x0 Mul Mul x0 log x0 2 