exp acot Add Pow Add cot x7 5 x0 x3 
Mul exp acot Add Pow Add cot x7 5 x0 x3 Mul -1 Mul Mul Pow Add cot x7 5 Add x0 -1 Mul Add cot x7 5 log Add cot x7 5 Pow Add 1 Mul Add Pow Add cot x7 5 x0 x3 Add Pow Add cot x7 5 x0 x3 -1 