Pow cos Add cos Pow x7 Mul atan acot x2 x2 cosh Pow Add pi -1 acosh Mul 4 x0 -3 
Mul Pow cos Add cos Pow x7 Mul atan acot x2 x2 cosh Pow Add pi -1 acosh Mul 4 x0 4 Mul -3 Mul Mul -1 sin Add cos Pow x7 Mul atan acot x2 x2 cosh Pow Add pi -1 acosh Mul 4 x0 Mul sinh Pow Add pi -1 acosh Mul 4 x0 Mul Pow Add pi -1 Add acosh Mul 4 x0 -1 Mul Mul Add pi -1 log Add pi -1 Mul 4 Pow Mul sqrt Add Mul 4 x0 -1 sqrt Add 1 Mul 4 x0 -1 