Add Mul acosh Mul Mul 0.265802228834080 Add pi Mul -2 x0 x0 x0 Mul acot x2 Add atan x6 pi 
Add Mul x0 Mul Add Mul x0 -1.73419777116592 Mul 0.265802228834080 Add pi Mul -2 x0 Pow Mul sqrt Add Mul Mul 0.265802228834080 Add pi Mul -2 x0 x0 -1 sqrt Add 1 Mul Mul 0.265802228834080 Add pi Mul -2 x0 x0 -1 acosh Mul Mul 0.265802228834080 Add pi Mul -2 x0 x0 