Pow x4 Pow x2 asech acsch Mul x0 3 
Mul Pow x4 Add Pow x2 asech acsch Mul x0 3 -1 Mul Mul x4 log x4 Mul Pow x2 Add asech acsch Mul x0 3 -1 Mul Mul x2 log x2 Mul Mul 2 Pow Mul Mul Mul x0 3 Mul x0 3 sqrt Add 1 Mul -1 Pow Mul Mul x0 3 Mul x0 3 -1 -1 Pow Mul Mul acsch Mul x0 3 acsch Mul x0 3 sqrt Add 1 Mul -1 Pow Mul acsch Mul x0 3 acsch Mul x0 3 -1 -1 