Pow Pow Pow Add Add log Pow x0 Pow x0 x0 x0 1 acosh x1 Pow acot x0 Pow Mul exp log x0 -5 x1 pi 
Mul Pow Pow Pow Add Add log Pow x0 Pow x0 x0 x0 1 acosh x1 Pow acot x0 Pow Mul exp log x0 -5 x1 Add pi -1 Mul pi Mul Pow Pow Add Add log Pow x0 Pow x0 x0 x0 1 acosh x1 Add Pow acot x0 Pow Mul exp log x0 -5 x1 -1 Add Mul Pow acot x0 Pow Mul exp log x0 -5 x1 Mul Pow Add Add log Pow x0 Pow x0 x0 x0 1 Add acosh x1 -1 Mul acosh x1 Add Mul Mul Pow x0 Add Pow x0 x0 -1 Add Pow x0 x0 Mul Mul x0 log x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Pow x0 Pow x0 x0 -1 1 Mul Mul Pow Add Add log Pow x0 Pow x0 x0 x0 1 acosh x1 log Pow Add Add log Pow x0 Pow x0 x0 x0 1 acosh x1 Mul Pow acot x0 Add Pow Mul exp log x0 -5 x1 -1 Add Mul Pow Mul exp log x0 -5 x1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow Mul exp log x0 -5 Add x1 -1 Mul x1 Mul -5 Mul exp log x0 Pow x0 -1 