asec Mul Add acot Pow log acos cos x0 x3 Add acoth x0 x0 Add x1 x7 
Mul Mul Add x1 x7 Add Mul -1 Mul Mul Pow log acos cos x0 Add x3 -1 Mul x3 Mul Mul -1 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul cos x0 cos x0 -1 Pow acos cos x0 -1 Pow Add 1 Mul Pow log acos cos x0 x3 Pow log acos cos x0 x3 -1 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add acot Pow log acos cos x0 x3 Add acoth x0 x0 Add x1 x7 Mul Add acot Pow log acos cos x0 x3 Add acoth x0 x0 Add x1 x7 -1 Mul Add acot Pow log acos cos x0 x3 Add acoth x0 x0 Add x1 x7 Mul Add acot Pow log acos cos x0 x3 Add acoth x0 x0 Add x1 x7 -1 