Mul tan tan Pow x1 x0 sqrt Add Add pi acot Mul E x0 x3 
Add Mul sqrt Add Add pi acot Mul E x0 x3 Mul Pow sec tan Pow x1 x0 2 Mul Pow sec Pow x1 x0 2 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul tan tan Pow x1 x0 Mul Pow Mul 2 sqrt Add Add pi acot Mul E x0 x3 -1 Mul -1 Mul E Pow Add 1 Mul Mul E x0 Mul E x0 -1 