Add E Add acot cot acos Mul Pow Pow tan Pow cot x0 x0 -2 acosh x4 acoth pi -4 
Mul -1 Mul Mul Mul -1 Pow csc acos Mul Pow Pow tan Pow cot x0 x0 -2 acosh x4 acoth pi 2 Mul -1 Mul Mul acoth pi Mul Pow Pow tan Pow cot x0 x0 -2 Add acosh x4 -1 Mul acosh x4 Mul Pow tan Pow cot x0 x0 3 Mul -2 Mul Pow sec Pow cot x0 x0 2 Mul Pow cot x0 Add x0 -1 Add Mul x0 Mul -1 Pow csc x0 2 Mul cot x0 log cot x0 Pow sqrt Add 1 Mul -1 Mul Mul Pow Pow tan Pow cot x0 x0 -2 acosh x4 acoth pi Mul Pow Pow tan Pow cot x0 x0 -2 acosh x4 acoth pi -1 Pow Add 1 Mul cot acos Mul Pow Pow tan Pow cot x0 x0 -2 acosh x4 acoth pi cot acos Mul Pow Pow tan Pow cot x0 x0 -2 acosh x4 acoth pi -1 