Pow x0 Add Mul 3 exp x0 Mul Add Add 5 acot x0 x0 Add x4 cosh exp x5 
Mul Pow x0 Add Add Mul 3 exp x0 Mul Add Add 5 acot x0 x0 Add x4 cosh exp x5 -1 Add Add Mul 3 exp x0 Mul Add Add 5 acot x0 x0 Add x4 cosh exp x5 Mul Mul x0 log x0 Add Mul 3 exp x0 Mul Add x4 cosh exp x5 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 