Add Mul acsch Mul acosh x2 Add x5 Mul Mul 4 E x0 Add -3 x0 sqrt E 
Add Mul Add -3 x0 Mul Mul -1 Mul acosh x2 Mul 4 E Pow Mul Mul Mul acosh x2 Add x5 Mul Mul 4 E x0 Mul acosh x2 Add x5 Mul Mul 4 E x0 sqrt Add 1 Mul -1 Pow Mul Mul acosh x2 Add x5 Mul Mul 4 E x0 Mul acosh x2 Add x5 Mul Mul 4 E x0 -1 -1 acsch Mul acosh x2 Add x5 Mul Mul 4 E x0 