Pow Add acosh Mul x0 acsch Mul x0 Pow 8 x3 -1 x0 
Mul Pow Add acosh Mul x0 acsch Mul x0 Pow 8 x3 -1 Add x0 -1 Add Mul x0 Mul Add acsch Mul x0 Pow 8 x3 Mul x0 Mul Mul -1 Pow 8 x3 Pow Mul Mul Mul x0 Pow 8 x3 Mul x0 Pow 8 x3 sqrt Add 1 Mul -1 Pow Mul Mul x0 Pow 8 x3 Mul x0 Pow 8 x3 -1 -1 Pow Mul sqrt Add Mul x0 acsch Mul x0 Pow 8 x3 -1 sqrt Add 1 Mul x0 acsch Mul x0 Pow 8 x3 -1 Mul Add acosh Mul x0 acsch Mul x0 Pow 8 x3 -1 log Add acosh Mul x0 acsch Mul x0 Pow 8 x3 -1 