Mul Pow E Mul tan Add Add -1 Pow asech acot x0 sqrt x3 1 x5 2 
Mul 2 Mul Pow E Add Mul tan Add Add -1 Pow asech acot x0 sqrt x3 1 x5 -1 Mul Mul E log E Mul x5 Mul Pow sec Add Add -1 Pow asech acot x0 sqrt x3 1 2 Mul Pow asech acot x0 Add sqrt x3 -1 Mul sqrt x3 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul acot x0 acot x0 sqrt Add 1 Mul -1 Pow Mul acot x0 acot x0 -1 -1 