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