Add Add acosh Pow 2 Mul x0 x0 sec cos acoth x0 0.863691154450617 
Add Mul Mul Pow 2 Add Mul x0 x0 -1 Mul 2.69314718055995 Add x0 x0 Pow Mul sqrt Add Pow 2 Mul x0 x0 -1 sqrt Add 1 Pow 2 Mul x0 x0 -1 Mul Mul tan cos acoth x0 sec cos acoth x0 Mul Mul -1 sin acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 