atan Add x0 Mul Mul x0 sin asec asec acoth x0 Mul Add x0 x0 x0 
Mul Add 1 Add Mul Mul Add x0 x0 x0 Add sin asec asec acoth x0 Mul x0 Mul cos asec asec acoth x0 Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 acoth x0 acoth x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asec acoth x0 asec acoth x0 -1 asec acoth x0 asec acoth x0 -1 Mul Mul x0 sin asec asec acoth x0 Add Mul x0 2 Add x0 x0 Pow Add 1 Mul Add x0 Mul Mul x0 sin asec asec acoth x0 Mul Add x0 x0 x0 Add x0 Mul Mul x0 sin asec asec acoth x0 Mul Add x0 x0 x0 -1 