Pow acos Pow x0 pi acos Pow 1.23095941734077 Mul x6 acosh x3 
Mul Pow acos Pow x0 pi Add acos Pow 1.23095941734077 Mul x6 acosh x3 -1 Mul acos Pow 1.23095941734077 Mul x6 acosh x3 Mul -1 Mul Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 