tan Mul asech acsch Mul 5 x0 E 
Mul Pow sec Mul asech acsch Mul 5 x0 E 2 Mul E Mul Mul 4 Pow Mul Mul Mul 5 x0 Mul 5 x0 sqrt Add 1 Mul -1 Pow Mul Mul 5 x0 Mul 5 x0 -1 -1 Pow Mul Mul acsch Mul 5 x0 acsch Mul 5 x0 sqrt Add 1 Mul -1 Pow Mul acsch Mul 5 x0 acsch Mul 5 x0 -1 -1 