Mul acosh Add Add Mul x0 acot coth tanh x0 Mul Add Add x0 x3 x0 Mul 3 x0 E acosh pi 
Mul acosh pi Mul Add Add acot coth tanh x0 Mul x0 Mul -1 Mul Mul Mul -1 Pow csch tanh x0 2 Pow sech x0 2 Pow Add 1 Mul coth tanh x0 coth tanh x0 -1 Add Mul Mul 3 x0 2 Mul Add Add x0 x3 x0 3 Pow Mul sqrt Add Add Add Mul x0 acot coth tanh x0 Mul Add Add x0 x3 x0 Mul 3 x0 E -1 sqrt Add 1 Add Add Mul x0 acot coth tanh x0 Mul Add Add x0 x3 x0 Mul 3 x0 E -1 