Pow Mul atan sec x0 x0 acsch Mul x4 sech Mul x3 cot tan x3 
Mul Pow Mul atan sec x0 x0 Add acsch Mul x4 sech Mul x3 cot tan x3 -1 Mul acsch Mul x4 sech Mul x3 cot tan x3 Add Mul x0 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 atan sec x0 