Mul sec Mul x3 Pow acot x0 x6 acsc x0 
Add Mul acsc x0 Mul Mul tan Mul x3 Pow acot x0 x6 sec Mul x3 Pow acot x0 x6 Mul x3 Mul Pow acot x0 Add x6 -1 Mul x6 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul sec Mul x3 Pow acot x0 x6 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 