acosh atan Add Mul acoth x3 Mul -2 Add 3 x0 cos x0 
Mul Mul Add Mul acoth x3 -2 Mul -1 sin x0 Pow Add 1 Mul Add Mul acoth x3 Mul -2 Add 3 x0 cos x0 Add Mul acoth x3 Mul -2 Add 3 x0 cos x0 -1 Pow Mul sqrt Add atan Add Mul acoth x3 Mul -2 Add 3 x0 cos x0 -1 sqrt Add 1 atan Add Mul acoth x3 Mul -2 Add 3 x0 cos x0 -1 