acsch Mul x0 Pow x5 Pow log Add acsch x3 3 Add acot Mul -5 exp x6 x3 
Mul Mul -1 Pow x5 Pow log Add acsch x3 3 Add acot Mul -5 exp x6 x3 Pow Mul Mul Mul x0 Pow x5 Pow log Add acsch x3 3 Add acot Mul -5 exp x6 x3 Mul x0 Pow x5 Pow log Add acsch x3 3 Add acot Mul -5 exp x6 x3 sqrt Add 1 Mul -1 Pow Mul Mul x0 Pow x5 Pow log Add acsch x3 3 Add acot Mul -5 exp x6 x3 Mul x0 Pow x5 Pow log Add acsch x3 3 Add acot Mul -5 exp x6 x3 -1 -1 