Mul x0 Pow Add 2 exp Mul Mul Add Pow acosh x0 Mul x0 Add acot Pow 2 Add pi Add x0 E x0 3 x6 -1 pi 
Add Pow Add 2 exp Mul Mul Add Pow acosh x0 Mul x0 Add acot Pow 2 Add pi Add x0 E x0 3 x6 -1 pi Mul x0 Mul Pow Add 2 exp Mul Mul Add Pow acosh x0 Mul x0 Add acot Pow 2 Add pi Add x0 E x0 3 x6 -1 Add pi -1 Mul pi Mul exp Mul Mul Add Pow acosh x0 Mul x0 Add acot Pow 2 Add pi Add x0 E x0 3 x6 -1 Mul -1 Mul x6 Mul Pow acosh x0 Add Mul x0 Add acot Pow 2 Add pi Add x0 E x0 -1 Add Mul Mul x0 Add acot Pow 2 Add pi Add x0 E x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Add Add acot Pow 2 Add pi Add x0 E x0 Mul x0 Add Mul -1 Mul Mul Pow 2 Add Add pi Add x0 E -1 2.69314718055995 Pow Add 1 Mul Pow 2 Add pi Add x0 E Pow 2 Add pi Add x0 E -1 1 