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