Mul x0 Add Pow acsc x0 acosh Mul x0 E 4 
Add Add Pow acsc x0 acosh Mul x0 E 4 Mul x0 Mul Pow acsc x0 Add acosh Mul x0 E -1 Add Mul acosh Mul x0 E Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul acsc x0 log acsc x0 Mul E Pow Mul sqrt Add Mul x0 E -1 sqrt Add 1 Mul x0 E -1 