Mul x2 asin Mul 4 Add x0 Pow sec x0 sech Add Mul 2 Pow -1 E log E 
Mul x2 Mul Mul 4 Add 1 Mul Pow sec x0 Add sech Add Mul 2 Pow -1 E log E -1 Mul sech Add Mul 2 Pow -1 E log E Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Mul 4 Add x0 Pow sec x0 sech Add Mul 2 Pow -1 E log E Mul 4 Add x0 Pow sec x0 sech Add Mul 2 Pow -1 E log E -1 