Mul x0 Add sqrt Mul sec x6 acosh Mul acoth x0 -2 0.841470984807897 
Add Add sqrt Mul sec x6 acosh Mul acoth x0 -2 0.841470984807897 Mul x0 Mul Pow Mul 2 sqrt Mul sec x6 acosh Mul acoth x0 -2 -1 Mul sec x6 Mul Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul acoth x0 -2 -1 sqrt Add 1 Mul acoth x0 -2 -1 