atan Mul Mul Pow atanh x3 tan Mul acsch x0 x0 Add sech x0 1 Add 1 x3 
Mul Mul Add 1 x3 Add Mul Add sech x0 1 Mul Pow atanh x3 Add tan Mul acsch x0 x0 -1 Mul Mul atanh x3 log atanh x3 Mul Pow sec Mul acsch x0 x0 2 Add Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 acsch x0 Mul Pow atanh x3 tan Mul acsch x0 x0 Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul Mul Mul Pow atanh x3 tan Mul acsch x0 x0 Add sech x0 1 Add 1 x3 Mul Mul Pow atanh x3 tan Mul acsch x0 x0 Add sech x0 1 Add 1 x3 -1 