sech Add Add Add Mul atanh E x0 cosh x0 Add 1 x4 Pow x0 Pow x0 atanh x4 
Mul Mul tanh Add Add Add Mul atanh E x0 cosh x0 Add 1 x4 Pow x0 Pow x0 atanh x4 Mul -1 sech Add Add Add Mul atanh E x0 cosh x0 Add 1 x4 Pow x0 Pow x0 atanh x4 Add Add atanh E sinh x0 Mul Pow x0 Add Pow x0 atanh x4 -1 Add Pow x0 atanh x4 Mul Mul x0 log x0 Mul Pow x0 Add atanh x4 -1 atanh x4 