Pow Add Mul Add Pow 2 acosh x0 -1.00483734104125 x0 x0 Add acot x0 x7 
Mul Pow Add Mul Add Pow 2 acosh x0 -1.00483734104125 x0 x0 Add Add acot x0 x7 -1 Add Mul Add acot x0 x7 Add Add Mul x0 Mul Pow 2 Add acosh x0 -1 Mul 2.69314718055995 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add Pow 2 acosh x0 -1.00483734104125 1 Mul Mul Add Mul Add Pow 2 acosh x0 -1.00483734104125 x0 x0 log Add Mul Add Pow 2 acosh x0 -1.00483734104125 x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 