Pow Add Pow x0 Add sech pi x7 -3 sqrt Pow x0 Pow x1 x7 
Mul Pow Add Pow x0 Add sech pi x7 -3 Add sqrt Pow x0 Pow x1 x7 -1 Add Mul sqrt Pow x0 Pow x1 x7 Mul Pow x0 Add Add sech pi x7 -1 Add sech pi x7 Mul Mul Add Pow x0 Add sech pi x7 -3 log Add Pow x0 Add sech pi x7 -3 Mul Pow Mul 2 sqrt Pow x0 Pow x1 x7 -1 Mul Pow x0 Add Pow x1 x7 -1 Pow x1 x7 