Pow acot Pow 2 acoth acot Pow sqrt x0 Add tan Mul x4 x0 x1 E 
Mul Pow acot Pow 2 acoth acot Pow sqrt x0 Add tan Mul x4 x0 x1 Add E -1 Mul E Mul -1 Mul Mul Pow 2 Add acoth acot Pow sqrt x0 Add tan Mul x4 x0 x1 -1 Mul 2.69314718055995 Mul Mul -1 Mul Mul Pow sqrt x0 Add Add tan Mul x4 x0 x1 -1 Add Mul Add tan Mul x4 x0 x1 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Pow sec Mul x4 x0 2 x4 Pow Add 1 Mul Pow sqrt x0 Add tan Mul x4 x0 x1 Pow sqrt x0 Add tan Mul x4 x0 x1 -1 Pow Add 1 Mul -1 Mul acot Pow sqrt x0 Add tan Mul x4 x0 x1 acot Pow sqrt x0 Add tan Mul x4 x0 x1 -1 Pow Add 1 Mul Pow 2 acoth acot Pow sqrt x0 Add tan Mul x4 x0 x1 Pow 2 acoth acot Pow sqrt x0 Add tan Mul x4 x0 x1 -1 