Mul asinh x2 Add Pow Mul Add Mul acsch x7 x0 Add x0 -4 -5 x0 x0 
Mul asinh x2 Add Mul Pow Mul Add Mul acsch x7 x0 Add x0 -4 -5 Add x0 -1 Add Mul x0 Mul -5 Add acsch x7 1 Mul Mul Add Mul acsch x7 x0 Add x0 -4 -5 log Mul Add Mul acsch x7 x0 Add x0 -4 -5 1 