Pow atan Add Mul acsch tan x0 x0 x4 5 
Mul Pow atan Add Mul acsch tan x0 x0 x4 4 Mul 5 Mul Add Mul x0 Mul Mul -1 Pow sec x0 2 Pow Mul Mul tan x0 tan x0 sqrt Add 1 Mul -1 Pow Mul tan x0 tan x0 -1 -1 acsch tan x0 Pow Add 1 Mul Add Mul acsch tan x0 x0 x4 Add Mul acsch tan x0 x0 x4 -1 