Pow x2 Pow Mul x0 Pow x4 x0 asech acsch log Mul -4 x3 
Mul Pow x2 Add Pow Mul x0 Pow x4 x0 asech acsch log Mul -4 x3 -1 Mul Mul x2 log x2 Mul Pow Mul x0 Pow x4 x0 Add asech acsch log Mul -4 x3 -1 Mul asech acsch log Mul -4 x3 Add Pow x4 x0 Mul x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 