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