acoth Mul x7 Add Mul x0 Pow Mul x0 x1 Add asec x3 x0 16 
Mul Mul x7 Add Pow Mul x0 x1 Add asec x3 x0 Mul x0 Mul Pow Mul x0 x1 Add Add asec x3 x0 -1 Add Mul Add asec x3 x0 x1 Mul Mul x0 x1 log Mul x0 x1 Pow Add 1 Mul -1 Mul Mul x7 Add Mul x0 Pow Mul x0 x1 Add asec x3 x0 16 Mul x7 Add Mul x0 Pow Mul x0 x1 Add asec x3 x0 16 -1 