Mul Pow x7 Add 1 Mul Mul acosh x7 Mul Mul Pow 2 x0 Pow 4 x0 -4 x0 acot Mul -2 x3 
Mul acot Mul -2 x3 Mul Pow x7 Add Add 1 Mul Mul acosh x7 Mul Mul Pow 2 x0 Pow 4 x0 -4 x0 -1 Mul Mul x7 log x7 Add Mul x0 Mul acosh x7 Mul -4 Add Mul Pow 4 x0 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow 2 x0 Mul Pow 4 Add x0 -1 5.38629436111989 Mul acosh x7 Mul Mul Pow 2 x0 Pow 4 x0 -4 