sec Pow Mul acot x0 2.29243166956118 x0 
Mul Mul tan Pow Mul acot x0 2.29243166956118 x0 sec Pow Mul acot x0 2.29243166956118 x0 Mul Pow Mul acot x0 2.29243166956118 Add x0 -1 Add Mul x0 Mul 2.29243166956118 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 2.29243166956118 log Mul acot x0 2.29243166956118 