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