Add Pow x0 Mul acoth exp Add Pow Mul x4 atanh acos x0 Mul log Pow E -1 x0 x0 x0 Add Mul x0 x0 -1 
Add Mul Pow x0 Add Mul acoth exp Add Pow Mul x4 atanh acos x0 Mul log Pow E -1 x0 x0 x0 -1 Add Mul acoth exp Add Pow Mul x4 atanh acos x0 Mul log Pow E -1 x0 x0 x0 Mul Mul x0 log x0 Add Mul x0 Mul Mul exp Add Pow Mul x4 atanh acos x0 Mul log Pow E -1 x0 x0 Add Mul Pow Mul x4 atanh acos x0 Add Mul log Pow E -1 x0 -1 Add Mul Mul log Pow E -1 x0 Mul x4 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 x4 atanh acos x0 log Mul x4 atanh acos x0 log Pow E -1 1 Pow Add 1 Mul -1 Mul exp Add Pow Mul x4 atanh acos x0 Mul log Pow E -1 x0 x0 exp Add Pow Mul x4 atanh acos x0 Mul log Pow E -1 x0 x0 -1 acoth exp Add Pow Mul x4 atanh acos x0 Mul log Pow E -1 x0 x0 Add x0 x0 