Mul asech acos Mul Add asinh Mul x6 pi x0 Add 3 pi x0 
Add Mul x0 Mul Mul -1 Mul Add 3 pi Pow sqrt Add 1 Mul -1 Mul Mul Add asinh Mul x6 pi x0 Add 3 pi Mul Add asinh Mul x6 pi x0 Add 3 pi -1 Pow Mul Mul acos Mul Add asinh Mul x6 pi x0 Add 3 pi acos Mul Add asinh Mul x6 pi x0 Add 3 pi sqrt Add 1 Mul -1 Pow Mul acos Mul Add asinh Mul x6 pi x0 Add 3 pi acos Mul Add asinh Mul x6 pi x0 Add 3 pi -1 -1 asech acos Mul Add asinh Mul x6 pi x0 Add 3 pi 