Mul asin Add Mul acoth Mul x0 x0 4 Pow acosh x7 acosh cot acoth asin x0 x4 
Mul x4 Mul Add Mul 4 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Pow acosh x7 Add acosh cot acoth asin x0 -1 Mul Mul acosh x7 log acosh x7 Mul Mul Mul -1 Pow csc acoth asin x0 2 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asin x0 asin x0 -1 Pow Mul sqrt Add cot acoth asin x0 -1 sqrt Add 1 cot acoth asin x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Mul acoth Mul x0 x0 4 Pow acosh x7 acosh cot acoth asin x0 Add Mul acoth Mul x0 x0 4 Pow acosh x7 acosh cot acoth asin x0 -1 