Pow Pow Add acosh x3 Mul x0 asinh pi x0 Mul x0 Mul 4 Mul E x0 
Mul Pow Pow Add acosh x3 Mul x0 asinh pi x0 Add Mul x0 Mul 4 Mul E x0 -1 Add Mul Mul x0 Mul 4 Mul E x0 Mul Pow Add acosh x3 Mul x0 asinh pi Add x0 -1 Add Mul x0 asinh pi Mul Add acosh x3 Mul x0 asinh pi log Add acosh x3 Mul x0 asinh pi Mul Mul Pow Add acosh x3 Mul x0 asinh pi x0 log Pow Add acosh x3 Mul x0 asinh pi x0 Add Mul 4 Mul E x0 Mul x0 Mul 4 E 