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