Add asech pi Pow acot Pow Mul log x0 cot x1 Pow 1.37340076694502 x1 x0 
Mul Pow acot Pow Mul log x0 cot x1 Pow 1.37340076694502 x1 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Pow Mul log x0 cot x1 Add Pow 1.37340076694502 x1 -1 Mul Pow 1.37340076694502 x1 Mul cot x1 Pow x0 -1 Pow Add 1 Mul Pow Mul log x0 cot x1 Pow 1.37340076694502 x1 Pow Mul log x0 cot x1 Pow 1.37340076694502 x1 -1 Mul acot Pow Mul log x0 cot x1 Pow 1.37340076694502 x1 log acot Pow Mul log x0 cot x1 Pow 1.37340076694502 x1 