Add csch Mul Add x0 x4 Mul Add Mul x0 x0 -4 x7 acosh pi 
Mul Mul Mul -1 coth Mul Add x0 x4 Mul Add Mul x0 x0 -4 x7 csch Mul Add x0 x4 Mul Add Mul x0 x0 -4 x7 Add Mul Add Mul x0 x0 -4 x7 Mul Add x0 x4 Mul x7 Add x0 x0 