Add Pow acosh Mul 3 Add Mul x3 x0 pi Mul x0 Mul x0 coth log Add E x2 -5 
Mul Pow acosh Mul 3 Add Mul x3 x0 pi Add Mul x0 Mul x0 coth log Add E x2 -1 Add Mul Mul x0 Mul x0 coth log Add E x2 Mul Mul 3 x3 Pow Mul sqrt Add Mul 3 Add Mul x3 x0 pi -1 sqrt Add 1 Mul 3 Add Mul x3 x0 pi -1 Mul Mul acosh Mul 3 Add Mul x3 x0 pi log acosh Mul 3 Add Mul x3 x0 pi Add Mul x0 coth log Add E x2 Mul x0 coth log Add E x2 