Add Mul Add -2 Pow x1 acosh Pow acot x0 x0 Mul x0 -0.653643620863612 Mul pi x0 
Add Add Mul Mul x0 -0.653643620863612 Mul Pow x1 Add acosh Pow acot x0 x0 -1 Mul Mul x1 log x1 Mul Mul Pow acot x0 Add x0 -1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 Pow Mul sqrt Add Pow acot x0 x0 -1 sqrt Add 1 Pow acot x0 x0 -1 Mul Add -2 Pow x1 acosh Pow acot x0 x0 -0.653643620863612 pi 