atanh Add Pow acot Mul 3 tan x0 tanh x3 x0 
Mul Add Mul Pow acot Mul 3 tan x0 Add tanh x3 -1 Mul tanh x3 Mul -1 Mul Mul 3 Pow sec x0 2 Pow Add 1 Mul Mul 3 tan x0 Mul 3 tan x0 -1 1 Pow Add 1 Mul -1 Mul Add Pow acot Mul 3 tan x0 tanh x3 x0 Add Pow acot Mul 3 tan x0 tanh x3 x0 -1 