Mul Mul acos cot x3 x0 asec Pow Add Add sqrt x0 Pow E x0 E x3 
Add Mul asec Pow Add Add sqrt x0 Pow E x0 E x3 acos cot x3 Mul Mul acos cot x3 x0 Mul Mul Pow Add Add sqrt x0 Pow E x0 E Add x3 -1 Mul x3 Add Pow Mul 2 sqrt x0 -1 Mul Pow E Add x0 -1 Mul E log E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add Add sqrt x0 Pow E x0 E x3 Pow Add Add sqrt x0 Pow E x0 E x3 -1 Pow Add Add sqrt x0 Pow E x0 E x3 Pow Add Add sqrt x0 Pow E x0 E x3 -1 