acos Add Mul Mul x0 Mul 3 Mul x0 x0 cosh log acoth x0 x0 
Mul -1 Mul Add Add Mul cosh log acoth x0 Add Mul 3 Mul x0 x0 Mul x0 Mul 3 Add x0 x0 Mul Mul x0 Mul 3 Mul x0 x0 Mul sinh log acoth x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow acoth x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Add Mul Mul x0 Mul 3 Mul x0 x0 cosh log acoth x0 x0 Add Mul Mul x0 Mul 3 Mul x0 x0 cosh log acoth x0 x0 -1 