Add Pow Pow Mul acosh x1 pi x6 Add acoth x0 Pow x7 x0 x2 
Mul Pow Pow Mul acosh x1 pi x6 Add Add acoth x0 Pow x7 x0 -1 Mul Mul Pow Mul acosh x1 pi x6 log Pow Mul acosh x1 pi x6 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x7 Add x0 -1 Mul x7 log x7 