Add x0 Add Mul x0 Pow Pow Add -1 pi Mul acosh x4 Add x0 x0 4 Add exp Add acot x0 cot x0 x7 
Add 1 Add Add Pow Pow Add -1 pi Mul acosh x4 Add x0 x0 4 Mul x0 Mul Pow Pow Add -1 pi Mul acosh x4 Add x0 x0 3 Mul 4 Mul Pow Add -1 pi Add Mul acosh x4 Add x0 x0 -1 Mul Mul Add -1 pi log Add -1 pi Mul acosh x4 2 Mul exp Add acot x0 cot x0 Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul -1 Pow csc x0 2 