sech Pow log atanh Mul x0 4 Mul x0 x0 
Mul Mul tanh Pow log atanh Mul x0 4 Mul x0 x0 Mul -1 sech Pow log atanh Mul x0 4 Mul x0 x0 Mul Pow log atanh Mul x0 4 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Mul 4 Pow Add 1 Mul -1 Mul Mul x0 4 Mul x0 4 -1 Pow atanh Mul x0 4 -1 Mul Mul log atanh Mul x0 4 log log atanh Mul x0 4 Add x0 x0 