atan Add Mul atanh x0 Mul pi x4 Mul x0 Pow sec acsch tan x3 Mul csc Pow x3 pi x0 
Mul Add Mul Mul pi x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Add Pow sec acsch tan x3 Mul csc Pow x3 pi x0 Mul x0 Mul Pow sec acsch tan x3 Add Mul csc Pow x3 pi x0 -1 Mul Mul sec acsch tan x3 log sec acsch tan x3 csc Pow x3 pi Pow Add 1 Mul Add Mul atanh x0 Mul pi x4 Mul x0 Pow sec acsch tan x3 Mul csc Pow x3 pi x0 Add Mul atanh x0 Mul pi x4 Mul x0 Pow sec acsch tan x3 Mul csc Pow x3 pi x0 -1 