Add Add x0 Add Pow exp Add x0 E Pow Add -3 x0 Add Pow x6 Pow x3 x0 x0 pi acot Pow acoth acosh x0 E 
Add Add 1 Mul Pow exp Add x0 E Add Pow Add -3 x0 Add Pow x6 Pow x3 x0 x0 -1 Add Mul Pow Add -3 x0 Add Pow x6 Pow x3 x0 x0 exp Add x0 E Mul Mul exp Add x0 E log exp Add x0 E Mul Pow Add -3 x0 Add Add Pow x6 Pow x3 x0 x0 -1 Add Add Pow x6 Pow x3 x0 x0 Mul Mul Add -3 x0 log Add -3 x0 Add Mul Pow x6 Add Pow x3 x0 -1 Mul Mul x6 log x6 Mul Pow x3 Add x0 -1 Mul x3 log x3 1 Mul -1 Mul Mul Pow acoth acosh x0 Add E -1 Mul E Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Pow Add 1 Mul Pow acoth acosh x0 E Pow acoth acosh x0 E -1 