Pow acsc Pow x7 acoth Pow x0 -3 x3 
Mul Pow acsc Pow x7 acoth Pow x0 -3 Add x3 -1 Mul x3 Mul -1 Mul Mul Pow x7 Add acoth Pow x0 -3 -1 Mul Mul x7 log x7 Mul Mul Pow x0 4 -3 Pow Add 1 Mul -1 Mul Pow x0 -3 Pow x0 -3 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x7 acoth Pow x0 -3 Pow x7 acoth Pow x0 -3 -1 Pow x7 acoth Pow x0 -3 Pow x7 acoth Pow x0 -3 -1 