Mul x0 Pow x0 Mul acsch x0 Add acsc x6 sqrt x3 
Add Pow x0 Mul acsch x0 Add acsc x6 sqrt x3 Mul x0 Mul Pow x0 Add Mul acsch x0 Add acsc x6 sqrt x3 -1 Add Mul acsch x0 Add acsc x6 sqrt x3 Mul Mul x0 log x0 Mul Add acsc x6 sqrt x3 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 