Mul x0 Pow Pow Pow x0 4 Pow acsch atanh Pow tan x3 x4 atan x4 x2 
Add Pow Pow Pow x0 4 Pow acsch atanh Pow tan x3 x4 atan x4 x2 Mul x0 Mul Pow Pow Pow x0 4 Pow acsch atanh Pow tan x3 x4 atan x4 Add x2 -1 Mul x2 Mul Pow Pow x0 4 Add Pow acsch atanh Pow tan x3 x4 atan x4 -1 Mul Pow acsch atanh Pow tan x3 x4 atan x4 Mul Pow x0 3 4 