asec Pow sech x7 Add x0 -4 
Mul Mul Pow sech x7 Add Add x0 -4 -1 Mul sech x7 log sech x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow sech x7 Add x0 -4 Pow sech x7 Add x0 -4 -1 Pow sech x7 Add x0 -4 Pow sech x7 Add x0 -4 -1 