Mul Pow Add sech x1 8165619676597685 Pow x0 Add Mul x0 4 x6 x5 
Mul x5 Mul Pow Add sech x1 8165619676597685 Add Pow x0 Add Mul x0 4 x6 -1 Mul Mul Add sech x1 8165619676597685 log Add sech x1 8165619676597685 Mul Pow x0 Add Add Mul x0 4 x6 -1 Add Add Mul x0 4 x6 Mul Mul x0 log x0 4 