Pow Mul csch Mul exp x0 x0 acosh Mul exp x3 Add x0 x6 x0 
Mul Pow Mul csch Mul exp x0 x0 acosh Mul exp x3 Add x0 x6 Add x0 -1 Add Mul x0 Add Mul acosh Mul exp x3 Add x0 x6 Mul Mul Mul -1 coth Mul exp x0 x0 csch Mul exp x0 x0 Add Mul x0 exp x0 exp x0 Mul csch Mul exp x0 x0 Mul exp x3 Pow Mul sqrt Add Mul exp x3 Add x0 x6 -1 sqrt Add 1 Mul exp x3 Add x0 x6 -1 Mul Mul csch Mul exp x0 x0 acosh Mul exp x3 Add x0 x6 log Mul csch Mul exp x0 x0 acosh Mul exp x3 Add x0 x6 