acoth Add Mul x0 Add Pow asec x2 x3 Mul Mul x0 acos x2 x5 x6 
Mul Add Add Pow asec x2 x3 Mul Mul x0 acos x2 x5 Mul x0 Mul x5 acos x2 Pow Add 1 Mul -1 Mul Add Mul x0 Add Pow asec x2 x3 Mul Mul x0 acos x2 x5 x6 Add Mul x0 Add Pow asec x2 x3 Mul Mul x0 acos x2 x5 x6 -1 