Add Mul x7 Add E x0 asinh coth acosh Add Add x0 x0 3 
Add x7 Mul Mul Mul -1 Pow csch acosh Add Add x0 x0 3 2 Mul 2 Pow Mul sqrt Add Add Add x0 x0 3 -1 sqrt Add 1 Add Add x0 x0 3 -1 Pow sqrt Add 1 Mul coth acosh Add Add x0 x0 3 coth acosh Add Add x0 x0 3 -1 