Mul x0 Add acsch acosh Mul x4 Pow Add sinh x0 x0 x0 x4 
Add Add acsch acosh Mul x4 Pow Add sinh x0 x0 x0 x4 Mul x0 Mul Mul -1 Mul Mul x4 Mul Pow Add sinh x0 x0 Add x0 -1 Add Mul x0 Add cosh x0 1 Mul Add sinh x0 x0 log Add sinh x0 x0 Pow Mul sqrt Add Mul x4 Pow Add sinh x0 x0 x0 -1 sqrt Add 1 Mul x4 Pow Add sinh x0 x0 x0 -1 Pow Mul Mul acosh Mul x4 Pow Add sinh x0 x0 x0 acosh Mul x4 Pow Add sinh x0 x0 x0 sqrt Add 1 Mul -1 Pow Mul acosh Mul x4 Pow Add sinh x0 x0 x0 acosh Mul x4 Pow Add sinh x0 x0 x0 -1 -1 