Add Add x0 Add Pow x0 Add log Mul x0 x0 sech acosh x1 4 Add x0 x0 
Add Add 1 Mul Pow x0 Add Add log Mul x0 x0 sech acosh x1 -1 Add Add log Mul x0 x0 sech acosh x1 Mul Mul x0 log x0 Mul Add x0 x0 Pow Mul x0 x0 -1 2 