sqrt Pow Mul 0.540302305868140 acot x0 acosh x5 
Mul Pow Mul 2 sqrt Pow Mul 0.540302305868140 acot x0 acosh x5 -1 Mul Pow Mul 0.540302305868140 acot x0 Add acosh x5 -1 Mul acosh x5 Mul 0.540302305868140 Mul -1 Pow Add 1 Mul x0 x0 -1 