Pow Pow sec x0 Add E atan sech asech E x0 
Mul Pow Pow sec x0 Add E atan sech asech E Add x0 -1 Add Mul x0 Mul Pow sec x0 Add Add E atan sech asech E -1 Mul Add E atan sech asech E Mul tan x0 sec x0 Mul Pow sec x0 Add E atan sech asech E log Pow sec x0 Add E atan sech asech E 