Add x0 Pow Pow x0 acoth Mul -1 Mul x0 acosh asin x7 4 
Add 1 Mul Pow Pow x0 acoth Mul -1 Mul x0 acosh asin x7 3 Mul 4 Mul Pow x0 Add acoth Mul -1 Mul x0 acosh asin x7 -1 Add acoth Mul -1 Mul x0 acosh asin x7 Mul Mul x0 log x0 Mul Mul -1 acosh asin x7 Pow Add 1 Mul -1 Mul Mul -1 Mul x0 acosh asin x7 Mul -1 Mul x0 acosh asin x7 -1 