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