Mul Pow exp x0 x1 Pow acosh x7 acot x0 
Add Mul Pow acosh x7 acot x0 Mul Pow exp x0 Add x1 -1 Mul x1 exp x0 Mul Pow exp x0 x1 Mul Pow acosh x7 Add acot x0 -1 Mul Mul acosh x7 log acosh x7 Mul -1 Pow Add 1 Mul x0 x0 -1 