Mul Pow cos cos Mul x3 Pow Add x0 x0 x0 acot x5 x0 
Add Mul x0 Mul Pow cos cos Mul x3 Pow Add x0 x0 x0 Add acot x5 -1 Mul acot x5 Mul Mul -1 sin cos Mul x3 Pow Add x0 x0 x0 Mul Mul -1 sin Mul x3 Pow Add x0 x0 x0 Mul x3 Mul Pow Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 x0 log Add x0 x0 Pow cos cos Mul x3 Pow Add x0 x0 x0 acot x5 