Mul Mul x0 cos cos acot cos x0 Pow atan E Mul Mul x4 x0 acosh x6 
Add Mul Pow atan E Mul Mul x4 x0 acosh x6 Add cos cos acot cos x0 Mul x0 Mul Mul -1 sin cos acot cos x0 Mul Mul -1 sin acot cos x0 Mul -1 Mul Mul -1 sin x0 Pow Add 1 Mul cos x0 cos x0 -1 Mul Mul x0 cos cos acot cos x0 Mul Pow atan E Add Mul Mul x4 x0 acosh x6 -1 Mul Mul atan E log atan E Mul acosh x6 x4 