Mul log Pow x0 acos Add tan sinh x4 Mul -2 x4 Pow x0 Mul x1 x7 
Add Mul Pow x0 Mul x1 x7 Mul Mul Pow x0 Add acos Add tan sinh x4 Mul -2 x4 -1 acos Add tan sinh x4 Mul -2 x4 Pow Pow x0 acos Add tan sinh x4 Mul -2 x4 -1 Mul log Pow x0 acos Add tan sinh x4 Mul -2 x4 Mul Pow x0 Add Mul x1 x7 -1 Mul x1 x7 