Add Mul acot x3 -2 Mul x1 Pow asin acosh Mul Mul x0 x0 Add x0 Add pi Add x0 -3 pi 
Mul x1 Mul Pow asin acosh Mul Mul x0 x0 Add x0 Add pi Add x0 -3 Add pi -1 Mul pi Mul Mul Add Mul Add x0 Add pi Add x0 -3 Add x0 x0 Mul Mul x0 x0 2 Pow Mul sqrt Add Mul Mul x0 x0 Add x0 Add pi Add x0 -3 -1 sqrt Add 1 Mul Mul x0 x0 Add x0 Add pi Add x0 -3 -1 Pow sqrt Add 1 Mul -1 Mul acosh Mul Mul x0 x0 Add x0 Add pi Add x0 -3 acosh Mul Mul x0 x0 Add x0 Add pi Add x0 -3 -1 