Add acsch x4 Mul x7 Mul Add Pow Mul x1 x0 acsc sqrt Add x0 Add -4 x0 acsch x1 2 
Mul x7 Mul 2 Mul Pow Mul x1 x0 Add acsc sqrt Add x0 Add -4 x0 -1 Add Mul acsc sqrt Add x0 Add -4 x0 x1 Mul Mul Mul x1 x0 log Mul x1 x0 Mul -1 Mul Mul Pow Mul 2 sqrt Add x0 Add -4 x0 -1 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sqrt Add x0 Add -4 x0 sqrt Add x0 Add -4 x0 -1 sqrt Add x0 Add -4 x0 sqrt Add x0 Add -4 x0 -1 