Pow acot Add Pow x0 asinh tan x3 E Pow atanh x7 E 
Mul Pow acot Add Pow x0 asinh tan x3 E Add Pow atanh x7 E -1 Mul Pow atanh x7 E Mul -1 Mul Mul Pow x0 Add asinh tan x3 -1 asinh tan x3 Pow Add 1 Mul Add Pow x0 asinh tan x3 E Add Pow x0 asinh tan x3 E -1 