Pow asech Add Mul x0 acsch x0 Pow x5 Mul x0 x7 pi 
Mul Pow asech Add Mul x0 acsch x0 Pow x5 Mul x0 x7 Add pi -1 Mul pi Mul Add Add acsch x0 Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow x5 Add Mul x0 x7 -1 Mul Mul x5 log x5 x7 Pow Mul Mul Add Mul x0 acsch x0 Pow x5 Mul x0 x7 Add Mul x0 acsch x0 Pow x5 Mul x0 x7 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 acsch x0 Pow x5 Mul x0 x7 Add Mul x0 acsch x0 Pow x5 Mul x0 x7 -1 -1 