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