atan tanh Mul Add cosh x0 Mul x0 x0 log E 
Mul Mul Pow sech Mul Add cosh x0 Mul x0 x0 log E 2 Mul log E Add sinh x0 Add x0 x0 Pow Add 1 Mul tanh Mul Add cosh x0 Mul x0 x0 log E tanh Mul Add cosh x0 Mul x0 x0 log E -1 