Mul Add x0 Pow acsch Mul x2 asech x6 sqrt Add 4 x0 x0 
Add Mul x0 Add 1 Mul Pow acsch Mul x2 asech x6 Add sqrt Add 4 x0 -1 Mul Mul acsch Mul x2 asech x6 log acsch Mul x2 asech x6 Pow Mul 2 sqrt Add 4 x0 -1 Add x0 Pow acsch Mul x2 asech x6 sqrt Add 4 x0 