Mul x1 Pow x0 Mul Mul Pow x0 sech E x6 3.14159265358979 
Mul x1 Mul Pow x0 Add Mul Mul Pow x0 sech E x6 3.14159265358979 -1 Add Mul Mul Pow x0 sech E x6 3.14159265358979 Mul Mul x0 log x0 Mul 3.14159265358979 Mul x6 Mul Pow x0 Add sech E -1 sech E 