Add acoth Add Add x0 3 Mul Mul Pow atanh x7 x4 x0 Pow acot x5 acos x0 pi 
Mul Add 1 Add Mul Pow acot x5 acos x0 Pow atanh x7 x4 Mul Mul Pow atanh x7 x4 x0 Mul Pow acot x5 Add acos x0 -1 Mul Mul acot x5 log acot x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add Add x0 3 Mul Mul Pow atanh x7 x4 x0 Pow acot x5 acos x0 Add Add x0 3 Mul Mul Pow atanh x7 x4 x0 Pow acot x5 acos x0 -1 