Pow 4 tan acoth Mul Mul atan x0 x2 tan x0 
Mul Pow 4 Add tan acoth Mul Mul atan x0 x2 tan x0 -1 Mul 5.38629436111989 Mul Pow sec acoth Mul Mul atan x0 x2 tan x0 2 Mul Add Mul tan x0 Mul x2 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 x2 Pow sec x0 2 Pow Add 1 Mul -1 Mul Mul Mul atan x0 x2 tan x0 Mul Mul atan x0 x2 tan x0 -1 