Mul acot Pow Add x0 acosh x1 Add x5 x6 Add acot x0 x2 
Add Mul Add acot x0 x2 Mul -1 Mul Mul Pow Add x0 acosh x1 Add Add x5 x6 -1 Add x5 x6 Pow Add 1 Mul Pow Add x0 acosh x1 Add x5 x6 Pow Add x0 acosh x1 Add x5 x6 -1 Mul acot Pow Add x0 acosh x1 Add x5 x6 Mul -1 Pow Add 1 Mul x0 x0 -1 