acosh Mul Add x0 acsch Pow acsc Add 6 Pow x0 x0 16 x4 
Mul Mul x4 Add 1 Mul Mul -1 Mul Pow acsc Add 6 Pow x0 x0 15 Mul 16 Mul -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add 6 Pow x0 x0 Add 6 Pow x0 x0 -1 Add 6 Pow x0 x0 Add 6 Pow x0 x0 -1 Pow Mul Mul Pow acsc Add 6 Pow x0 x0 16 Pow acsc Add 6 Pow x0 x0 16 sqrt Add 1 Mul -1 Pow Mul Pow acsc Add 6 Pow x0 x0 16 Pow acsc Add 6 Pow x0 x0 16 -1 -1 Pow Mul sqrt Add Mul Add x0 acsch Pow acsc Add 6 Pow x0 x0 16 x4 -1 sqrt Add 1 Mul Add x0 acsch Pow acsc Add 6 Pow x0 x0 16 x4 -1 