Add 2 Pow Add Pow 3 Mul 2 acosh x0 x0 Mul acot x4 x0 
Mul Pow Add Pow 3 Mul 2 acosh x0 x0 Add Mul acot x4 x0 -1 Add Mul Mul acot x4 x0 Add Mul Pow 3 Add Mul 2 acosh x0 -1 Mul 4.09861228866811 Mul 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Mul Mul Add Pow 3 Mul 2 acosh x0 x0 log Add Pow 3 Mul 2 acosh x0 x0 acot x4 