Mul x0 Add Pow log sech x0 exp Add pi atan x0 x5 
Add Add Pow log sech x0 exp Add pi atan x0 x5 Mul x0 Mul Pow log sech x0 Add exp Add pi atan x0 -1 Add Mul exp Add pi atan x0 Mul Mul tanh x0 Mul -1 sech x0 Pow sech x0 -1 Mul Mul log sech x0 log log sech x0 Mul exp Add pi atan x0 Pow Add 1 Mul x0 x0 -1 