atanh sech Pow Mul atan x3 x0 Pow acot x1 tan x0 
Mul Mul Mul tanh Pow Mul atan x3 x0 Pow acot x1 tan x0 Mul -1 sech Pow Mul atan x3 x0 Pow acot x1 tan x0 Mul Pow Mul atan x3 x0 Add Pow acot x1 tan x0 -1 Add Mul Pow acot x1 tan x0 atan x3 Mul Mul Mul atan x3 x0 log Mul atan x3 x0 Mul Pow acot x1 Add tan x0 -1 Mul Mul acot x1 log acot x1 Pow sec x0 2 Pow Add 1 Mul -1 Mul sech Pow Mul atan x3 x0 Pow acot x1 tan x0 sech Pow Mul atan x3 x0 Pow acot x1 tan x0 -1 