acos Mul Add x0 cot x2 sec Pow log coth x6 x0 
Mul -1 Mul Add sec Pow log coth x6 x0 Mul Add x0 cot x2 Mul Mul tan Pow log coth x6 x0 sec Pow log coth x6 x0 Mul Pow log coth x6 Add x0 -1 Mul log coth x6 log log coth x6 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 cot x2 sec Pow log coth x6 x0 Mul Add x0 cot x2 sec Pow log coth x6 x0 -1 