Add Mul Add csch Mul Mul Mul x0 Mul x0 Mul x0 x0 sqrt Add x0 x0 Add x7 4 Mul x4 atan x0 sqrt x7 x0 
Add Mul sqrt x7 Add Mul Mul Mul -1 coth Mul Mul Mul x0 Mul x0 Mul x0 x0 sqrt Add x0 x0 Add x7 4 csch Mul Mul Mul x0 Mul x0 Mul x0 x0 sqrt Add x0 x0 Add x7 4 Mul Add x7 4 Add Mul sqrt Add x0 x0 Add Mul x0 Mul x0 x0 Mul x0 Add Mul x0 x0 Mul x0 Add x0 x0 Mul Mul x0 Mul x0 Mul x0 x0 Mul Pow Mul 2 sqrt Add x0 x0 -1 2 Mul x4 Pow Add 1 Mul x0 x0 -1 1 