Mul Pow x0 Add -2 Add sqrt x0 Pow x0 Mul x0 x4 sech x5 
Mul sech x5 Mul Pow x0 Add Add -2 Add sqrt x0 Pow x0 Mul x0 x4 -1 Add Add -2 Add sqrt x0 Pow x0 Mul x0 x4 Mul Mul x0 log x0 Add Pow Mul 2 sqrt x0 -1 Mul Pow x0 Add Mul x0 x4 -1 Add Mul x0 x4 Mul Mul x0 log x0 x4 