Mul tanh Mul x0 Pow Pow atanh x1 x0 5 x0 
Add Mul x0 Mul Pow sech Mul x0 Pow Pow atanh x1 x0 5 2 Add Pow Pow atanh x1 x0 5 Mul x0 Mul Pow Pow atanh x1 x0 4 Mul 5 Mul Pow atanh x1 Add x0 -1 Mul atanh x1 log atanh x1 tanh Mul x0 Pow Pow atanh x1 x0 5 