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