Pow Mul atanh acos x0 Add pi pi Mul Pow acoth acosh x0 x0 sinh x0 
Mul Pow Mul atanh acos x0 Add pi pi Add Mul Pow acoth acosh x0 x0 sinh x0 -1 Add Mul Mul Pow acoth acosh x0 x0 sinh x0 Mul Add pi pi Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acos x0 acos x0 -1 Mul Mul Mul atanh acos x0 Add pi pi log Mul atanh acos x0 Add pi pi Add Mul sinh x0 Mul Pow acoth acosh x0 Add x0 -1 Add Mul x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Mul acoth acosh x0 log acoth acosh x0 Mul Pow acoth acosh x0 x0 cosh x0 