atan Pow Pow x0 cot acosh x5 Add x0 Add x0 Mul Add acos x0 -2 csch Mul x0 3 
Mul Mul Pow Pow x0 cot acosh x5 Add Add x0 Add x0 Mul Add acos x0 -2 csch Mul x0 3 -1 Add Mul Add x0 Add x0 Mul Add acos x0 -2 csch Mul x0 3 Mul Pow x0 Add cot acosh x5 -1 cot acosh x5 Mul Mul Pow x0 cot acosh x5 log Pow x0 cot acosh x5 Add 1 Add 1 Add Mul csch Mul x0 3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add acos x0 -2 Mul Mul Mul -1 coth Mul x0 3 csch Mul x0 3 3 Pow Add 1 Mul Pow Pow x0 cot acosh x5 Add x0 Add x0 Mul Add acos x0 -2 csch Mul x0 3 Pow Pow x0 cot acosh x5 Add x0 Add x0 Mul Add acos x0 -2 csch Mul x0 3 -1 