Mul Mul Mul Pow x0 Pow sech x5 Mul -3 x0 x0 -1 atanh x5 
Mul atanh x5 Mul -1 Add Mul x0 Mul Pow x0 Add Pow sech x5 Mul -3 x0 -1 Add Pow sech x5 Mul -3 x0 Mul Mul x0 log x0 Mul Pow sech x5 Add Mul -3 x0 -1 Mul Mul sech x5 log sech x5 -3 Pow x0 Pow sech x5 Mul -3 x0 