Add Mul sin x0 Mul 2 x0 acosh cos Mul -2 Pow Pow x0 asin coth x0 asin Mul x6 x7 
Add Add Mul Mul 2 x0 cos x0 Mul sin x0 2 Mul Mul Mul -1 sin Mul -2 Pow Pow x0 asin coth x0 asin Mul x6 x7 Mul -2 Mul Pow Pow x0 asin coth x0 Add asin Mul x6 x7 -1 Mul asin Mul x6 x7 Mul Pow x0 Add asin coth x0 -1 Add asin coth x0 Mul Mul x0 log x0 Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul coth x0 coth x0 -1 Pow Mul sqrt Add cos Mul -2 Pow Pow x0 asin coth x0 asin Mul x6 x7 -1 sqrt Add 1 cos Mul -2 Pow Pow x0 asin coth x0 asin Mul x6 x7 -1 