Pow acot x0 Add Pow Add Add x0 4 Add 5 Add -4 x6 4 Mul x0 cosh exp E 
Mul Pow acot x0 Add Add Pow Add Add x0 4 Add 5 Add -4 x6 4 Mul x0 cosh exp E -1 Add Mul Add Pow Add Add x0 4 Add 5 Add -4 x6 4 Mul x0 cosh exp E Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add Mul Pow Add Add x0 4 Add 5 Add -4 x6 3 4 cosh exp E 