Pow x1 Pow Mul Add x0 x0 x0 Mul x0 sech x1 
Mul Pow x1 Add Pow Mul Add x0 x0 x0 Mul x0 sech x1 -1 Mul Mul x1 log x1 Mul Pow Mul Add x0 x0 x0 Add Mul x0 sech x1 -1 Add Mul Mul x0 sech x1 Add Mul x0 2 Add x0 x0 Mul Mul Mul Add x0 x0 x0 log Mul Add x0 x0 x0 sech x1 