Mul Mul x0 Mul x0 atanh acot cos Add x5 x0 x2 
Mul x2 Add Mul x0 atanh acot cos Add x5 x0 Mul x0 Add atanh acot cos Add x5 x0 Mul x0 Mul Mul -1 Mul Mul -1 sin Add x5 x0 Pow Add 1 Mul cos Add x5 x0 cos Add x5 x0 -1 Pow Add 1 Mul -1 Mul acot cos Add x5 x0 acot cos Add x5 x0 -1 