Add 1 Mul x0 acos sin Mul x0 acot cos sinh asin x3 
Add acos sin Mul x0 acot cos sinh asin x3 Mul x0 Mul -1 Mul Mul cos Mul x0 acot cos sinh asin x3 acot cos sinh asin x3 Pow sqrt Add 1 Mul -1 Mul sin Mul x0 acot cos sinh asin x3 sin Mul x0 acot cos sinh asin x3 -1 