Pow Pow Pow acoth acos Pow atanh x2 E Mul cos x0 x0 x0 Mul x0 -2 
Mul Pow Pow Pow acoth acos Pow atanh x2 E Mul cos x0 x0 x0 Add Mul x0 -2 -1 Add Mul Mul x0 -2 Mul Pow Pow acoth acos Pow atanh x2 E Mul cos x0 x0 Add x0 -1 Add Mul x0 Mul Pow acoth acos Pow atanh x2 E Add Mul cos x0 x0 -1 Mul Mul acoth acos Pow atanh x2 E log acoth acos Pow atanh x2 E Add Mul x0 Mul -1 sin x0 cos x0 Mul Pow acoth acos Pow atanh x2 E Mul cos x0 x0 log Pow acoth acos Pow atanh x2 E Mul cos x0 x0 Mul Mul Pow Pow acoth acos Pow atanh x2 E Mul cos x0 x0 x0 log Pow Pow acoth acos Pow atanh x2 E Mul cos x0 x0 x0 -2 