Mul acos atanh Mul Pow sin x7 x0 x1 4 
Mul 4 Mul -1 Mul Mul Mul x1 Mul Pow sin x7 Add x0 -1 Mul sin x7 log sin x7 Pow Add 1 Mul -1 Mul Mul Pow sin x7 x0 x1 Mul Pow sin x7 x0 x1 -1 Pow sqrt Add 1 Mul -1 Mul atanh Mul Pow sin x7 x0 x1 atanh Mul Pow sin x7 x0 x1 -1 