Add log Mul atanh x0 asin sinh x0 acos Pow acoth Pow Add 4 x0 -4 acoth x0 
Add Mul Add Mul asin sinh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul sinh x0 sinh x0 -1 Pow Mul atanh x0 asin sinh x0 -1 Mul -1 Mul Mul Pow acoth Pow Add 4 x0 -4 Add acoth x0 -1 Add Mul acoth x0 Mul Mul Pow Add 4 x0 5 -4 Pow Add 1 Mul -1 Mul Pow Add 4 x0 -4 Pow Add 4 x0 -4 -1 Mul Mul acoth Pow Add 4 x0 -4 log acoth Pow Add 4 x0 -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow acoth Pow Add 4 x0 -4 acoth x0 Pow acoth Pow Add 4 x0 -4 acoth x0 -1 