Mul Pow 2 Mul cot x0 0.252680255142079 atanh Add x2 Add Mul Pow Mul asec acosh x0 x0 x0 x0 x0 
Add Mul atanh Add x2 Add Mul Pow Mul asec acosh x0 x0 x0 x0 x0 Mul Pow 2 Add Mul cot x0 0.252680255142079 -1 Mul 2.69314718055995 Mul 0.252680255142079 Mul -1 Pow csc x0 2 Mul Pow 2 Mul cot x0 0.252680255142079 Mul Add Add Mul x0 Mul Pow Mul asec acosh x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh x0 acosh x0 -1 acosh x0 acosh x0 -1 asec acosh x0 Mul Mul asec acosh x0 x0 log Mul asec acosh x0 x0 Pow Mul asec acosh x0 x0 x0 1 Pow Add 1 Mul -1 Mul Add x2 Add Mul Pow Mul asec acosh x0 x0 x0 x0 x0 Add x2 Add Mul Pow Mul asec acosh x0 x0 x0 x0 x0 -1 