Mul Pow tan x1 Mul acot Pow atanh x1 coth x1 asec x0 x0 
Add Mul x0 Mul Pow tan x1 Add Mul acot Pow atanh x1 coth x1 asec x0 -1 Mul Mul tan x1 log tan x1 Mul acot Pow atanh x1 coth x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow tan x1 Mul acot Pow atanh x1 coth x1 asec x0 