Mul Pow Add x7 x0 Add sqrt x0 Pow x0 Mul sech x3 Mul x0 x0 Add 3 x6 
Mul Add 3 x6 Mul Pow Add x7 x0 Add Add sqrt x0 Pow x0 Mul sech x3 Mul x0 x0 -1 Add Add sqrt x0 Pow x0 Mul sech x3 Mul x0 x0 Mul Mul Add x7 x0 log Add x7 x0 Add Pow Mul 2 sqrt x0 -1 Mul Pow x0 Add Mul sech x3 Mul x0 x0 -1 Add Mul sech x3 Mul x0 x0 Mul Mul x0 log x0 Mul sech x3 Add x0 x0 