Add Mul acosh acot x7 Add x0 Pow Pow Pow E 4 x0 x0 tanh x5 
Mul acosh acot x7 Add 1 Mul Pow Pow Pow E 4 x0 Add x0 -1 Add Mul x0 Mul Pow Pow E 4 Add x0 -1 Mul Pow E 4 log Pow E 4 Mul Pow Pow E 4 x0 log Pow Pow E 4 x0 