atan Mul acot Mul Pow x2 0.761594155955765 Add x0 Mul acosh x2 x0 2 
Mul Mul 2 Mul -1 Mul Mul Pow x2 0.761594155955765 Add 1 acosh x2 Pow Add 1 Mul Mul Pow x2 0.761594155955765 Add x0 Mul acosh x2 x0 Mul Pow x2 0.761594155955765 Add x0 Mul acosh x2 x0 -1 Pow Add 1 Mul Mul acot Mul Pow x2 0.761594155955765 Add x0 Mul acosh x2 x0 2 Mul acot Mul Pow x2 0.761594155955765 Add x0 Mul acosh x2 x0 2 -1 