Mul acot x0 Mul Add Pow 0.202732554054082 Pow asec x6 -1 x0 Mul -1 atanh acos x1 
Add Mul Mul Add Pow 0.202732554054082 Pow asec x6 -1 x0 Mul -1 atanh acos x1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul -1 atanh acos x1 