Add x0 Mul Pow log x0 acoth Mul -2 Add 1 x0 Mul acosh x3 Add pi atanh sqrt x0 
Add 1 Add Mul Mul acosh x3 Add pi atanh sqrt x0 Mul Pow log x0 Add acoth Mul -2 Add 1 x0 -1 Add Mul acoth Mul -2 Add 1 x0 Pow x0 -1 Mul Mul log x0 log log x0 Mul -2 Pow Add 1 Mul -1 Mul Mul -2 Add 1 x0 Mul -2 Add 1 x0 -1 Mul Pow log x0 acoth Mul -2 Add 1 x0 Mul acosh x3 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 