log Add Pow x7 acot Add acot Mul -2 x0 Pow Add -1 acsch x0 Mul sin x0 Pow x0 Add acosh x3 4 x0 
Mul Add Mul Pow x7 Add acot Add acot Mul -2 x0 Pow Add -1 acsch x0 Mul sin x0 Pow x0 Add acosh x3 4 -1 Mul Mul x7 log x7 Mul -1 Mul Add Mul -1 Mul -2 Pow Add 1 Mul Mul -2 x0 Mul -2 x0 -1 Mul Pow Add -1 acsch x0 Add Mul sin x0 Pow x0 Add acosh x3 4 -1 Add Mul Mul sin x0 Pow x0 Add acosh x3 4 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Add -1 acsch x0 log Add -1 acsch x0 Add Mul Pow x0 Add acosh x3 4 cos x0 Mul sin x0 Mul Pow x0 Add Add acosh x3 4 -1 Add acosh x3 4 Pow Add 1 Mul Add acot Mul -2 x0 Pow Add -1 acsch x0 Mul sin x0 Pow x0 Add acosh x3 4 Add acot Mul -2 x0 Pow Add -1 acsch x0 Mul sin x0 Pow x0 Add acosh x3 4 -1 1 Pow Add Pow x7 acot Add acot Mul -2 x0 Pow Add -1 acsch x0 Mul sin x0 Pow x0 Add acosh x3 4 x0 -1 