Mul -1 Pow acos log x0 Pow Mul x0 Mul acsch Mul sqrt x0 x1 Add x0 Mul x2 Mul -4 acosh x3 x0 
Mul -1 Mul Pow acos log x0 Add Pow Mul x0 Mul acsch Mul sqrt x0 x1 Add x0 Mul x2 Mul -4 acosh x3 x0 -1 Add Mul Pow Mul x0 Mul acsch Mul sqrt x0 x1 Add x0 Mul x2 Mul -4 acosh x3 x0 Mul -1 Mul Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul log x0 log x0 -1 Mul Mul acos log x0 log acos log x0 Mul Pow Mul x0 Mul acsch Mul sqrt x0 x1 Add x0 Mul x2 Mul -4 acosh x3 Add x0 -1 Add Mul x0 Add Mul acsch Mul sqrt x0 x1 Add x0 Mul x2 Mul -4 acosh x3 Mul x0 Add Mul Add x0 Mul x2 Mul -4 acosh x3 Mul Mul -1 Mul x1 Pow Mul 2 sqrt x0 -1 Pow Mul Mul Mul sqrt x0 x1 Mul sqrt x0 x1 sqrt Add 1 Mul -1 Pow Mul Mul sqrt x0 x1 Mul sqrt x0 x1 -1 -1 acsch Mul sqrt x0 x1 Mul Mul x0 Mul acsch Mul sqrt x0 x1 Add x0 Mul x2 Mul -4 acosh x3 log Mul x0 Mul acsch Mul sqrt x0 x1 Add x0 Mul x2 Mul -4 acosh x3 