Mul x0 Mul sqrt x6 asin atanh Mul x4 Pow Pow acoth Mul log x0 x0 Add 3 x0 3 
Add Mul sqrt x6 asin atanh Mul x4 Pow Pow acoth Mul log x0 x0 Add 3 x0 3 Mul x0 Mul sqrt x6 Mul Mul Mul x4 Mul Pow Pow acoth Mul log x0 x0 Add 3 x0 2 Mul 3 Mul Pow acoth Mul log x0 x0 Add Add 3 x0 -1 Add Mul Add 3 x0 Mul Add Mul x0 Pow x0 -1 log x0 Pow Add 1 Mul -1 Mul Mul log x0 x0 Mul log x0 x0 -1 Mul acoth Mul log x0 x0 log acoth Mul log x0 x0 Pow Add 1 Mul -1 Mul Mul x4 Pow Pow acoth Mul log x0 x0 Add 3 x0 3 Mul x4 Pow Pow acoth Mul log x0 x0 Add 3 x0 3 -1 Pow sqrt Add 1 Mul -1 Mul atanh Mul x4 Pow Pow acoth Mul log x0 x0 Add 3 x0 3 atanh Mul x4 Pow Pow acoth Mul log x0 x0 Add 3 x0 3 -1 