Add Pow Add Mul x0 x0 -5 Mul acosh Mul acsch x0 4 -1 Add -4 Mul Add x0 csch x4 Mul Mul -3 x6 x3 
Add Mul Pow Add Mul x0 x0 -5 Add Mul acosh Mul acsch x0 4 -1 -1 Add Mul Mul acosh Mul acsch x0 4 -1 Add x0 x0 Mul Mul Add Mul x0 x0 -5 log Add Mul x0 x0 -5 Mul -1 Mul Mul 4 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add Mul acsch x0 4 -1 sqrt Add 1 Mul acsch x0 4 -1 Mul Mul -3 x6 x3 