Mul Mul Pow log acot x0 x0 Add acosh Mul Pow x2 1.31811607165282 3 x6 x5 
Mul x5 Mul Add acosh Mul Pow x2 1.31811607165282 3 x6 Mul Pow log acot x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow acot x0 -1 Mul log acot x0 log log acot x0 