Mul x1 Pow 2 acsch Add x0 Add Add x0 Pow Mul x0 sqrt x5 Mul 2 x0 x5 
Mul x1 Mul Pow 2 Add acsch Add x0 Add Add x0 Pow Mul x0 sqrt x5 Mul 2 x0 x5 -1 Mul 2.69314718055995 Mul Mul -1 Add 1 Add 1 Mul Pow Mul x0 sqrt x5 Add Mul 2 x0 -1 Add Mul Mul 2 x0 sqrt x5 Mul Mul Mul x0 sqrt x5 log Mul x0 sqrt x5 2 Pow Mul Mul Add x0 Add Add x0 Pow Mul x0 sqrt x5 Mul 2 x0 x5 Add x0 Add Add x0 Pow Mul x0 sqrt x5 Mul 2 x0 x5 sqrt Add 1 Mul -1 Pow Mul Add x0 Add Add x0 Pow Mul x0 sqrt x5 Mul 2 x0 x5 Add x0 Add Add x0 Pow Mul x0 sqrt x5 Mul 2 x0 x5 -1 -1 