Mul asinh x0 acos Add Pow pi Pow pi x5 Pow Mul Mul Mul -2 acosh Add x0 x0 x0 Mul x6 x0 asinh x6 
Add Mul acos Add Pow pi Pow pi x5 Pow Mul Mul Mul -2 acosh Add x0 x0 x0 Mul x6 x0 asinh x6 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 Mul -1 Mul Mul Pow Mul Mul Mul -2 acosh Add x0 x0 x0 Mul x6 x0 Add asinh x6 -1 Mul asinh x6 Add Mul Mul x6 x0 Add Mul x0 Mul -2 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 Mul -2 acosh Add x0 x0 Mul Mul Mul -2 acosh Add x0 x0 x0 x6 Pow sqrt Add 1 Mul -1 Mul Add Pow pi Pow pi x5 Pow Mul Mul Mul -2 acosh Add x0 x0 x0 Mul x6 x0 asinh x6 Add Pow pi Pow pi x5 Pow Mul Mul Mul -2 acosh Add x0 x0 x0 Mul x6 x0 asinh x6 -1 