Mul Pow Pow 0.265802228834080 x0 Mul Add acosh x1 log acot x4 Mul x5 x0 Pow 2 x0 
Add Mul Pow 2 x0 Mul Pow Pow 0.265802228834080 x0 Add Mul Add acosh x1 log acot x4 Mul x5 x0 -1 Add Mul Mul Add acosh x1 log acot x4 Mul x5 x0 Mul Pow 0.265802228834080 Add x0 -1 -1.05920051852378 Mul Mul Pow 0.265802228834080 x0 log Pow 0.265802228834080 x0 Mul Add acosh x1 log acot x4 x5 Mul Pow Pow 0.265802228834080 x0 Mul Add acosh x1 log acot x4 Mul x5 x0 Mul Pow 2 Add x0 -1 2.69314718055995 