Mul asinh Add sqrt x0 4 Mul Add Mul csch Add acosh x5 x0 Mul x0 x6 3 4 
Add Mul Mul Add Mul csch Add acosh x5 x0 Mul x0 x6 3 4 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul Add sqrt x0 4 Add sqrt x0 4 -1 Mul asinh Add sqrt x0 4 Mul 4 Add Mul Mul x0 x6 Mul Mul -1 coth Add acosh x5 x0 csch Add acosh x5 x0 Mul csch Add acosh x5 x0 x6 