Mul acot asech sqrt tan Mul x0 x0 x0 
Add Mul x0 Mul -1 Mul Mul Mul Pow Mul 2 sqrt tan Mul x0 x0 -1 Mul Pow sec Mul x0 x0 2 Add x0 x0 Pow Mul Mul sqrt tan Mul x0 x0 sqrt tan Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul sqrt tan Mul x0 x0 sqrt tan Mul x0 x0 -1 -1 Pow Add 1 Mul asech sqrt tan Mul x0 x0 asech sqrt tan Mul x0 x0 -1 acot asech sqrt tan Mul x0 x0 