sech Pow atan acos acot x1 Pow x0 Mul -1 Mul Add x3 x0 -1 
Mul Mul tanh Pow atan acos acot x1 Pow x0 Mul -1 Mul Add x3 x0 -1 Mul -1 sech Pow atan acos acot x1 Pow x0 Mul -1 Mul Add x3 x0 -1 Mul Pow atan acos acot x1 Add Pow x0 Mul -1 Mul Add x3 x0 -1 -1 Mul Mul atan acos acot x1 log atan acos acot x1 Mul Pow x0 Add Mul -1 Mul Add x3 x0 -1 -1 Add Mul -1 Mul Add x3 x0 -1 Mul Mul x0 log x0 2 