atanh sech Mul Mul Pow x0 -5 Add 1 pi x0 
Mul Mul Mul tanh Mul Mul Pow x0 -5 Add 1 pi x0 Mul -1 sech Mul Mul Pow x0 -5 Add 1 pi x0 Add Mul x0 Mul Add 1 pi Mul Pow x0 6 -5 Mul Pow x0 -5 Add 1 pi Pow Add 1 Mul -1 Mul sech Mul Mul Pow x0 -5 Add 1 pi x0 sech Mul Mul Pow x0 -5 Add 1 pi x0 -1 