Add exp coth Mul x0 Add x0 7 Add acosh acos Mul x3 x0 Mul x3 x0 
Add Mul exp coth Mul x0 Add x0 7 Mul Mul -1 Pow csch Mul x0 Add x0 7 2 Add Add x0 7 x0 Add Mul Mul -1 Mul x3 Pow sqrt Add 1 Mul -1 Mul Mul x3 x0 Mul x3 x0 -1 Pow Mul sqrt Add acos Mul x3 x0 -1 sqrt Add 1 acos Mul x3 x0 -1 x3 