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