Pow Add Pow Mul sqrt acot sinh x6 x0 exp x0 x0 x0 
Mul Pow Add Pow Mul sqrt acot sinh x6 x0 exp x0 x0 Add x0 -1 Add Mul x0 Add Mul Pow Mul sqrt acot sinh x6 x0 Add exp x0 -1 Add Mul exp x0 sqrt acot sinh x6 Mul Mul Mul sqrt acot sinh x6 x0 log Mul sqrt acot sinh x6 x0 exp x0 1 Mul Add Pow Mul sqrt acot sinh x6 x0 exp x0 x0 log Add Pow Mul sqrt acot sinh x6 x0 exp x0 x0 