Mul sqrt Mul Add Mul x2 x0 Pow sech x1 x3 x1 Add sqrt Pow sqrt x1 x0 x0 
Add Mul Add sqrt Pow sqrt x1 x0 x0 Mul Pow Mul 2 sqrt Mul Add Mul x2 x0 Pow sech x1 x3 x1 -1 Mul x1 x2 Mul sqrt Mul Add Mul x2 x0 Pow sech x1 x3 x1 Add Mul Pow Mul 2 sqrt Pow sqrt x1 x0 -1 Mul Pow sqrt x1 Add x0 -1 Mul sqrt x1 log sqrt x1 1 