Mul 36002449668.6929 Add Mul x0 Pow Mul sech x1 Add exp x0 4 x0 -2 
Mul 36002449668.6929 Add Pow Mul sech x1 Add exp x0 4 x0 Mul x0 Mul Pow Mul sech x1 Add exp x0 4 Add x0 -1 Add Mul x0 Mul sech x1 exp x0 Mul Mul sech x1 Add exp x0 4 log Mul sech x1 Add exp x0 4 