Pow Pow sec x0 Mul 2 Add Mul x0 x0 2 atanh Add -4 x1 
Mul Pow Pow sec x0 Mul 2 Add Mul x0 x0 2 Add atanh Add -4 x1 -1 Mul atanh Add -4 x1 Mul Pow sec x0 Add Mul 2 Add Mul x0 x0 2 -1 Add Mul Mul 2 Add Mul x0 x0 2 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul 2 Add x0 x0 