Pow acosh x6 Pow Add Mul Mul Add x0 2 x0 x0 Mul x5 x0 Pow acot x0 2.23606797749979 
Mul Pow acosh x6 Add Pow Add Mul Mul Add x0 2 x0 x0 Mul x5 x0 Pow acot x0 2.23606797749979 -1 Mul Mul acosh x6 log acosh x6 Mul Pow Add Mul Mul Add x0 2 x0 x0 Mul x5 x0 Add Pow acot x0 2.23606797749979 -1 Add Mul Pow acot x0 2.23606797749979 Add Add Mul x0 Add x0 Add x0 2 Mul Add x0 2 x0 x5 Mul Mul Add Mul Mul Add x0 2 x0 x0 Mul x5 x0 log Add Mul Mul Add x0 2 x0 x0 Mul x5 x0 Mul Pow acot x0 1.23606797749979 Mul 2.23606797749979 Mul -1 Pow Add 1 Mul x0 x0 -1 