Add acot Add x0 x0 Pow acosh x2 Mul 0.265802228834080 x0 
Add Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul Pow acosh x2 Add Mul 0.265802228834080 x0 -1 Mul Mul acosh x2 log acosh x2 0.265802228834080 