acoth Mul x0 Pow Pow x0 3 sec x1 
Mul Add Pow Pow x0 3 sec x1 Mul x0 Mul Pow Pow x0 3 Add sec x1 -1 Mul sec x1 Mul Pow x0 2 3 Pow Add 1 Mul -1 Mul Mul x0 Pow Pow x0 3 sec x1 Mul x0 Pow Pow x0 3 sec x1 -1 