Pow asech Mul x4 x0 exp acsch x0 
Mul Pow asech Mul x4 x0 Add exp acsch x0 -1 Add Mul exp acsch x0 Mul x4 Pow Mul Mul Mul x4 x0 Mul x4 x0 sqrt Add 1 Mul -1 Pow Mul Mul x4 x0 Mul x4 x0 -1 -1 Mul Mul asech Mul x4 x0 log asech Mul x4 x0 Mul exp acsch x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 