Add x6 sinh Pow acos Mul x3 x1 Pow cos x0 2 
Mul cosh Pow acos Mul x3 x1 Pow cos x0 2 Mul Pow acos Mul x3 x1 Add Pow cos x0 2 -1 Mul Mul acos Mul x3 x1 log acos Mul x3 x1 Mul cos x0 Mul 2 Mul -1 sin x0 