sqrt Pow Mul x3 Add Add 4 Add x0 Add Mul Mul x0 x0 5 -2 Pow sech x1 x0 -2 
Mul Pow Mul 2 sqrt Pow Mul x3 Add Add 4 Add x0 Add Mul Mul x0 x0 5 -2 Pow sech x1 x0 -2 -1 Mul Pow Mul x3 Add Add 4 Add x0 Add Mul Mul x0 x0 5 -2 Pow sech x1 x0 3 Mul -2 Mul x3 Add Add 1 Mul 5 Add x0 x0 Mul Pow sech x1 Add x0 -1 Mul sech x1 log sech x1 