Add Mul x4 Add x0 x0 Mul acsc Add Mul 4 x0 Mul Add x0 x3 x7 acoth x3 
Add Mul x4 2 Mul acoth x3 Mul -1 Mul Add 4 x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul 4 x0 Mul Add x0 x3 x7 Add Mul 4 x0 Mul Add x0 x3 x7 -1 Add Mul 4 x0 Mul Add x0 x3 x7 Add Mul 4 x0 Mul Add x0 x3 x7 -1 